issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
198
stars
50
forks
source link
Build documentation using dune instead of make
#201
Open
Lysxia
opened
3 years ago