Geeks
yforster
/
stlc-norm
Proof that STLC is normalizing in Fstar
Primary Language
Coq
Apache License 2.0
Apache-2.0
stlc-norm GitHub
Markdown
Readme
0
Issues
5
Stargazers
6
Watchers
Watchers
catalin-hritcu
Max Planck Institute for Security and Privacy (MPI-SP)
eemailme
Franziska-Mueller
Switzerland
jhcloos
lukraemer
yforster
Inria