So far this repository contains the following:
- Formalization of Gardam's disproof of the unit conjecture.
- A replication in lean 4 of some of the scala code used in the PolyMath 14 project.
None Description
GitHub Link DocumentationTODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.