/sf-lean

Software Foundations using the Lean Theorem Prover

Primary LanguageLean

Stargazers