Studying Mathematics at Lund University
- Sweden
-
21:47
(UTC +02:00) - lucalewin.dev
- @_lucalewin
Block or Report
Block or report lucalewin
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
The QED Project
qed-project
A major scientific undertaking requiring the cooperation and effort of hundreds of deep mathematical minds, considerable ingenuity by many computer scientists,
AdvancedResearch
advancedresearch
A research branch of the Piston project (https://www.piston.rs/)
International