rami3l / PLFaLeanLinks

Learn Lean 4 with PLFA proofs.
83Updated 4 months ago

Alternatives and similar repositories for PLFaLean

Users that are interested in PLFaLean are comparing it to the libraries listed below

Sorting: