Geeks
FStarLang
/
steel
The Steel separation logic library for F*
Primary Language
F*
Apache License 2.0
Apache-2.0
steel GitHub
Markdown
Readme
64
Issues
21
Stargazers
16
Watchers
Watchers
kyoDralliam
danelahman
Tartu
victor-dumitrescu
Paris, France
denismerigoux
Paris
aseemr
mtzguido
Seattle
prosecco
Paris, France
karthikbhargavan
TheoWinterhalter
Saclay
nikswamy
R1kM
ad-l
Cambridge, UK
fournet
joonwonc
United States
tahina-pro
Redmond, WA, USA
eemailme