Upload Code

Formally verifying Lean4Lean — verified Lean kernel

Documentation GitHub

2170
Total Functions
516
Functions with Specs 23.8%
513
Fully Verified 23.6%
Verification Progress Contribute Function Status

Verification Progress

Not Started Specs (no proofs) Verified (proofs) Total tracked functions Transitively Verified

Contribute

Want to contribute? Help formally verify Lean4Lean — verified Lean kernel. Click on the button to view remaining issues on GitHub.

View GitHub Issues

Function Status

This table shows the verification status of all functions in the project. Click on a function to see more details.

Total: 2203 Extracted: 2203 Verified: 513 Spec only: 3