leanprover-community

leanprover-community组织

Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover

https://leanprover-community.github.io/ 首次见于 2023-02-01