rami3l / PLFaLeanLinks

Learn Lean 4 with PLFA proofs.
76Updated 2 months ago

Alternatives and similar repositories for PLFaLean

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

Sorting: