rami3l / PLFaLeanLinks

Learn Lean 4 with PLFA proofs.
75Updated last month

Alternatives and similar repositories for PLFaLean

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

Sorting: