proost-assistant/proost
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
RustGPL-3.0
Stargazers
- 0xKitsune
- AppServiceProviderDhaka, Bangladesh
- arthur-adjedjENS Paris-Saclay
- aualbert
- david0100101hell
- DrRuisseau
- gio256
- highskore
- icanvardarIstanbul
- jmcph4@sigp
- JulianNew York, NY
- Karnaj
- lafeychine
- loutrFrance
- nartannt
- nikitavoloboevTbilisi
- noghartt@firefliesai
- pcaversaccio@daita-technologies
- rahulc29
- ramonfmirLondon
- sam-iamm
- SSoelvstenAarhus University
- thamugadiMorocco
- tkersey@thisisartium
- v9n@yeo
- wrrnhttn