Want to contribute? Help formally verify A formally verified reimplementation of the Lean 4 kernel in pure Lean 4, with accompanying metatheory. Click on the button to view remaining issues on GitHub.
This table shows the verification status of all functions in the project. Click on a function to see more details.
