/Website_LeanInRome

Website for the formalisation of mathematics and Lean event in Rome

Primary LanguageVueMIT LicenseMIT

No issues in this repository yet.