lean3

There are 0 repository under lean3 topic.

• leanprover-community / lean

  Lean 3 Theorem Prover (community fork)

  lean3
  Language:C++ 435

• leanprover-community / lean-web-editor

  Lean 3 web editor

  lean3
  Language:TypeScript 11

• isVitorEmanuel / fmclean

  [FMCI - Athanasios Tsouanas] Neste repositório estão as minhas resoluções do Lean 3 e do NNG.

  lean3nng
  Language:Lean 0

• b-g-goodell / learning-lean

  Learning Lean (and Type Theory) for the ZFC-Headed Pure Mathematician

  lean3mathematicstypetheory

• James-Oswald / linear_temporal_logic

  Formalizing Linear Temporal Logic in Lean 3

  lean3linear-temporal-logic
  Language:Lean