mathlib - good first issue and formalisation of general topology

4 minute read

Lean is a functional programming language and interactive theorem prover. mathlib is its main mathematical library, by far the biggest of its kind (with over...