search

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
176 stars 15 forks source link

typo #100

Closed bentoner closed 2 years ago

bentoner commented 2 years ago

sorry, typo