·
5 commits
to master
since this release
In this release you can find the final version of my code for my project on the topic "Examples of CW complexes" for the class "Practical Project in Mathematical Logic - Formalized Mathematics in Lean". The readme describes where to find the relevant files.