AlphaUncommon
Kha/electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
Archived: this repository is read-only
- Owner
- Kha (personal account)
- Stars
- Stars: 340
- Forks
- Forks: 8
- Language
- Lean
- License
- None
- Created
- 2016
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- AlexKontorovich/PrimeNumberTheoremAndStars: 351LeanAlpha
- verse-lab/veilStars: 350LeanAlpha
- Verified-zkEVM/ArkLibStars: 348LeanAlpha
- math-inc/strongpntStars: 327LeanAlpha
- facebookresearch/atlas-leanStars: 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsStars: 322LeanAlpha