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
Dec 24, 2024 - Python
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
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
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."