search

leanprover-community / lean-liquid

💧 Liquid Tensor Experiment
176 stars 15 forks source link

bump mathlib to 31 aug 2022 #123

Closed YaelDillies closed 2 years ago

YaelDillies commented 2 years ago

nnrat is now in mathlib.