leanprover-community

icon indicating a website link https://leanprover-community.github.io/

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

Results 0 issues of leanprover-community