13
18
31
Our great sponsors
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
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.