Merging Master Branch into Dijkstra Monad Branch - Githubissues

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

198 stars 50 forks source link

Merging Master Branch into Dijkstra Monad Branch #186

Closed lag47 closed 4 years ago