Geeks
nomeata
/
ghc-proofs
Let GHC prove program equations for you
Primary Language
Haskell
MIT License
MIT
ghc-proofs GitHub
Markdown
Readme
3
Issues
145
Stargazers
14
Watchers
Watchers
alinabi
Boston, MA
alreadydone
Heidelberg / Shenzhen
andbmme
Vienna, Austria
eemailme
jhcloos
llelf
mihaimaruseac
Google
ndmitchell
Meta
nomeata
@dfinity-lab
owestphal
quewean
rafl
Portland, Oregon
romac
@informalsystems
zeitgeist
Co-Founder @sine-fdn