ammkrn / nanodaLinks

A type checker for the Lean theorem prover
41Updated 4 years ago

Alternatives and similar repositories for nanoda

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

Sorting: