23
60
96
Our great sponsors
Mentions
@

Stars  Project  Description 

  2,059  Lean 4 programming language and theorem prover  
  1,432  Lean mathematical components library  
  432  Demo for highperformance type theory elaboration  
  297  Simple verification of Rust programs via functional purification in Lean 2(!)  
  263  Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.  
  252  Building the natural numbers in Lean.  
  141  Lean stuff for M40001  
  113  💧 Liquid Tensor Experiment  
  101  Lean material for Kevin Buzzard's JanMar 2022 course on formalising mathematics.  
  94  A formal proof of the independence of the continuum hypothesis  
  91  Companion files for Logical Verification 2020–2021 at VU Amsterdam  
  91  A simple raytracer written in Lean 4  
  71  Interactive neural theorem proving in Lean  
  71  HoTT in Lean 3  
  63  A gamification of the theorems in MATH40002 Analysis 1  
  26  Collection of benchmarks of functional programming languages and proof assistants.  
  22  Leanindependent implementation of the MMLean link  
  19  
  16  Fermat's Last Theorem for regular primes  
  11  Superposition prover 
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
Stars  Project 

2,059  lean4 
1,432  mathlib 
1  existsunique 
3  hatsugen 
113  leanliquid 
16  fltregular 
263  formalisingmathematics 
22  mathematica 
26  FunctionalBenchmarks 
432  smalltt 
5  BrouwerFixedPoint 
94  flypitch 
19  logical_verification_2021 
101  formalisingmathematics2022 
141  M40001_lean 
Latest Discoveries
Latest discovered Lean repos
Stars  Project 

1  existsunique 
16  fltregular 
22  mathematica 
26  FunctionalBenchmarks 
3  hatsugen 
5  BrouwerFixedPoint 
94  flypitch 
101  formalisingmathematics2022 
19  logical_verification_2021 
263  formalisingmathematics 
297  electrolysis 
91  logical_verification_2020 
141  M40001_lean 
71  hott3 
71  leangptf 
11  super 
432  smalltt 
252  natural_number_game 
113  leanliquid 
91  lean4raytracer 