newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
MIT
Stargazers
- AlephAlpha
- benknobleCapitalOne
- berkus@microsoft
- boozookEarth
- CallistoMMaurik
- carlo-salinari
- ChrisCALORENTZ
- cryptoquickBitcoin wallet developer @diba-io
- dylanmcPortland, Oregon
- ElijahLaMoonUkraine
- emanuellima1@BlockScience
- ethframeRussia
- foo-jin
- gabriel-fallenKontur
- goodbin
- GoPavelSerokell
- gus3inov@Yandex
- joshrule
- last-geniusLviv, Ukraine
- macdonaldoMontreal
- matheus-consoli@spacedriveapp
- michaelsippel
- nikitavoloboevTbilisi
- Pamplemousse@Oracle
- pierwill♄
- program247365Buffalo, NY
- PyroLagus
- savekirk@groovetime
- spachava753
- Steven1677University of Nottingham
- tomhoule@grafbase
- toothbrush7777777England
- varranvarUnited States
- vitvakatuTbilisi
- xamgore
- yvan-sraka@input-output-hk