Reservoir

siddhartha-gadgil/Polylean

None Description

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

Join the chat at https://gitter.im/siddhartha-gadgil/polylean

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.