lean3

There are 5 repositories under lean3 topic.

leanprover-community/lean
Lean 3 Theorem Prover (community fork)
Language:C++434 27 20578
leanprover-community/lean-web-editor
Lean 3 web editor
Language:TypeScript11 4 516
James-Oswald/linear-temporal-logic
A mini-formalization of Linear Temporal Logic in Lean 3
Language:Lean1 1 0
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