sinhp / groupoid_model_in_lean4

11Updated this week

Related projects

Alternatives and complementary repositories for groupoid_model_in_lean4