search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
198 stars 50 forks source link

ci: Add Coq dev #180

Closed liyishuai closed 4 years ago

liyishuai commented 4 years ago

Duplicate of #169 which was accidentally closed.

Lysxia commented 4 years ago

Thanks Yishuai!