pitmonticone/LeanProject

Template for blueprint-driven formalization projects in Lean.

Language: Python - Size: 129 KB - Last synced at: 4 days ago - Pushed at: 9 days ago - Stars: 48 - Forks: 4

bhgomes/lean-riemann-hypothesis

Riemann Hypothesis in Lean

Language: Lean - Size: 1.77 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 40 - Forks: 7

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.

Size: 23.4 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 7

rwst/infinite-primes-via-log

Language: HTML - Size: 714 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

bhgomes/jensen

a Lean implementation of Jensen's Inequality

Language: Lean - Size: 101 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

brendanny/natural-number-game

Learning how to use the Lean theorem prover

Size: 4.88 KB - Last synced at: 12 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

RiccardoBiosas/LeanGPT

Experiments with interactive theorem provers, LLMs and formal systems

Language: Coq - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 2

vaibhavkarve/igl2020

Lean project for Fall 2020

Language: Lean - Size: 1.34 MB - Last synced at: 8 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2

MikeMKH/kata

Used to store short program examples

Language: Racket - Size: 325 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0