 mathlib4 (source code)

by Ciro Santilli (@cirosantilli, 37)

= mathlib4
{c}

https://github.com/leanprover-community/mathlib4

Here is a specific minimal example of how to use mathlib4: https://proofassistants.stackexchange.com/questions/2526/how-to-run-lean4-with-mathlib-manually/5299#5299

 Back to article page