leanprover-community / lean-liquidLinks

💧 Liquid Tensor Experiment
☆196Updated last year

Alternatives and similar repositories for lean-liquid

Users that are interested in lean-liquid are comparing it to the libraries listed below

Sorting: