leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
☆181Updated 9 months ago

Related projects ⓘ

Alternatives and complementary repositories for lean-liquid