Kha/electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
LeanNOASSERTION
Stargazers
- alilleybrinker@mitre
- Aurora0001
- bandali0@canonical
- crepererumHamburg, Germany
- cstoreyLondon
- doppioslashLiverpool, UK
- efyangChicago, IL
- fenollp@Scaleway
- flosse@slowtec @codingforfairness
- futileAachen
- hawkw@oxidecomputer
- ihrwein
- javra
- KokaKiwi@edgee-cloud
- luisbelloch@flywirecorp
- michaelsproul@sigp
- michaeltestliu
- miketang84Vancouver
- mmacedoeuM2
- ncihnegn
- Nemikolh@stackblitz
- npe9Sandia National Laboratories
- orhan89@senseobservationsystems
- pthariensflameModesto, CA, USA
- rap2hpoutre@betagouv
- rrika
- seanjensengreySeattle, WA
- shekhei@amzn
- srenatus@StyraInc @open-policy-agent
- ssiraiMacondo
- ssokolowOntario, Canada
- tdmackeyTwitter
- valpackettArgentina ⭐⭐⭐
- vky
- whipsch
- wuranboBeijing