FormalizedFormalLogic / Foundation

Lean4 Logic Formalization
80Updated this week

Related projects

Alternatives and complementary repositories for Foundation