Remove some garbage lemmas, called foo1 and foo2. - Githubissues

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

Remove some garbage lemmas, called foo1 and foo2. #137

Closed gilhur closed 5 years ago

Lysxia commented 5 years ago

Thanks @gilhur !