General principles (paco 4.0.0)

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

Closed gilhur closed 5 years ago

gilhur commented 5 years ago

gilhur commented 5 years ago

coq-paco-4.0.0 is out. You can merge this now.

Lysxia commented 5 years ago

Thanks Gil!