flâneur

Mathematics in Lean — Mathematics in Lean 0.1 documentation

leanprover-community.github.io · 209 words · saved by 2 readers

© Copyright 2020, Jeremy Avigad, Patrick Massot.

saved by