🇸🇪
The task of a doctor is to put themselves out of business
Highlights
- Pro
Popular repositories Loading
-
-
erdos-guy-selfridge
erdos-guy-selfridge PublicForked from teorth/erdos-guy-selfridge
Project to verify the Guy-Selfridge conjectures
TeX
-
FLT
FLT PublicForked from ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean
-
Loop
Loop PublicForked from LoopKit/Loop
An automated insulin delivery app for iOS, built on LoopKit
Swift
-
consequence_of_boredom_and_curiosity
consequence_of_boredom_and_curiosity Publictesting the limits of /goal
HTML
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



