A framework for implementing and certifying impure computations in Coq
Home Page:https://lthms.github.io/FreeSpec
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
lthms opened this issue 4 years ago · comments
See one of @yurug’s comment in #51