GitHub repository: oliver-butterley/formalisation
Primary language: Vue
Created: 2023-07-31T11:16:27Z
Description: Website for the formalisation of mathematics and Lean event in Rome