Comment on Lean 4.0
wick@lemm.ee 9 months agoTbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.
Comment on Lean 4.0
wick@lemm.ee 9 months agoTbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.