Owner
lean-catLogic
1 indexed repository · View on GitHub
-
formalization
Formalization of Categorical Logic in the Lean proof assistant
Lean · 5 stars
Loading issues
No issues to show. Show everything we have indexed