lean-theorem-prover

There are 2 repositories under lean-theorem-prover topic.

• bhgomes / lean-riemann-hypothesis

  Riemann Hypothesis in Lean

  leanlean-theorem-proverriemann-hypothesismathlib
  Language:Lean 35

• RiccardoBiosas / LeanGPT

  Experiments with interactive theorem provers, LLMs and formal systems

  ai-agentsai-assisted-developmentchatgptformal-proofsgpt-3interactive-theorem-provinglangchainlean-theorem-proverllmmaththeorem-prover
  Language:Coq 16

• adyavanapalli / natural-number-game-solutions

  Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.

  formal-mathematicsgamified-learningimperial-college-londonleanlean-theorem-provermicrosoft-researchnatural-numberspeanotheorem-prover
  11

• vaibhavkarve / igl2020

  Lean project for Fall 2020

  lean-theorem-provermathematicsmodel-theoryuiucillinois-geometry-lablogic
  Language:Lean 7

• bhgomes / jensen

  a Lean implementation of Jensen's Inequality

  leanleanproverlean-theorem-proverjensen-inequality
  Language:Lean 1

• MikeMKH / kata

  Used to store short program examples

  idrislean-theorem-provercsharpracket-lang
  Language:Racket 1