13
18
31
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| - | 1,267 | Lean 4 programming language and theorem prover | |
| - | 1,026 | Lean mathematical components library | |
| - | 271 | Simple verification of Rust programs via functional purification in Lean 2(!) | |
| - | 261 | Demo for high-performance type theory elaboration | |
| - | 176 | Building the natural numbers in Lean. | |
| - | 106 | Lean stuff for M40001 | |
| - | 85 | Companion files for Logical Verification 2020–2021 at VU Amsterdam | |
| - | 80 | A simple raytracer written in Lean 4 | |
| - | 74 | 💧 Liquid Tensor Experiment | |
| - | 62 | HoTT in Lean 3 | |
| - | 49 | A gamification of the theorems in MATH40002 Analysis 1 | |
| - | 40 | Interactive neural theorem proving in Lean | |
| - | 9 | Superposition prover |
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 1,267 | lean4 |
| 271 | electrolysis |
| 85 | logical_verification_2020 |
| 106 | M40001_lean |
| 1,026 | mathlib |
| 62 | hott3 |
| 40 | lean-gptf |
| 9 | super |
| 74 | lean-liquid |
| 261 | smalltt |
| 176 | natural_number_game |
| 80 | lean4-raytracer |
| 49 | real-number-game |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 271 | electrolysis |
| 85 | logical_verification_2020 |
| 106 | M40001_lean |
| 62 | hott3 |
| 40 | lean-gptf |
| 9 | super |
| 261 | smalltt |
| 176 | natural_number_game |
| 74 | lean-liquid |
| 80 | lean4-raytracer |
| 1,026 | mathlib |
| 49 | real-number-game |
| 1,267 | lean4 |
Recently updated posts
- "The PlusCal Tutorial" by Leslie Lamport
- What are some good resources for learning about the calculus of constructions?
- Did Bertrand Russell’s more rigorous ‘bottom up’ reconstruction of basic arithmetic lead to any significant novel results?
- Propositional logic exercises with the lean theorem prover
- Why is simplicity so unreasonably effective at scientific explanation?
99remotejobs.com
Find remote jobs at our new job board 99remotejobs.com. There are 32 new remote jobs listed recently.Are you hiring? Post a new remote job listing for free.