Riemann Hypothesis in Lean
-
Updated
Mar 3, 2021 - Lean
#
lean-theorem-prover
Here are 9 public repositories matching this topic...
Template for blueprint-driven formalization projects in Lean.
theorem-proving
mathematics
proof-assistant
formal-mathematics
mathematical-programming
lean-theorem-prover
lean4
formalisation-mathematics
lean-blueprint
formalised-mathematics
leanblueprint
-
Updated
Oct 16, 2024 - Python
Experiments with interactive theorem provers, LLMs and formal systems
math
interactive-theorem-proving
theorem-prover
ai-agents
formal-proofs
lean-theorem-prover
ai-assisted-development
gpt-3
llm
chatgpt
langchain
-
Updated
Jul 10, 2023 - Coq
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.
lean
natural-numbers
formal-mathematics
peano
theorem-prover
microsoft-research
lean-theorem-prover
imperial-college-london
gamified-learning
-
Updated
Dec 12, 2021
Lean project for Fall 2020
-
Updated
Jan 17, 2022 - Lean
a Lean implementation of Jensen's Inequality
-
Updated
Jun 21, 2023 - Lean
Used to store short program examples
-
Updated
Nov 21, 2018 - Racket
Learning how to use the Lean theorem prover
-
Updated
Apr 24, 2024
-
Updated
Jul 14, 2024 - HTML
Improve this page
Add a description, image, and links to the lean-theorem-prover topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lean-theorem-prover topic, visit your repo's landing page and select "manage topics."