Giters

lthms / FreeSpec

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

Investigate introducing better combinators to inspect Coq terms

lthms opened this issue · comments

commented

See 8ca09da and c2b9e06 for what is to come for this issue.