issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
194
stars
49
forks
source link
Clean up
#265
Closed
Lysxia
closed
4 months ago
Lysxia
commented
4 months ago
Resolve intuition warnings
Remove dead code
Rename Basics.Tacs to Basics.Utils