lean3

There are 5 repositories under lean3 topic.

leanprover-community/lean
Lean 3 Theorem Prover (community fork)
Language:C++435 27 20480
leanprover-community/lean-web-editor
Lean 3 web editor
Language:TypeScript11 5 515
isVitorEmanuel/fmclean
[FMCI - Athanasios Tsouanas] Neste repositório estão as minhas resoluções do Lean 3 e do NNG.
Language:Lean0 1 00
b-g-goodell/learning-lean
Learning Lean (and Type Theory) for the ZFC-Headed Pure Mathematician
1 0
James-Oswald/linear_temporal_logic
Formalizing Linear Temporal Logic in Lean 3
Language:Lean1 0