issues
search
leanprover-community
/
lean-liquid
💧 Liquid Tensor Experiment
176
stars
15
forks
source link
rename exact_with_constant to strongly_exact
#130
Closed
jcommelin
closed
9 months ago