leanprover-community / lean4-samples

Code samples for Lean 4
71Updated last year

Related projects

Alternatives and complementary repositories for lean4-samples