a2435191 / lean-logic-formalizationLinks

Formalize "Logic Notes" by Lou van den Dries in Lean
12Updated 2 months ago

Alternatives and similar repositories for lean-logic-formalization

Users that are interested in lean-logic-formalization are comparing it to the libraries listed below

Sorting: