Coq Library of Undecidability Proofs version 1.1.2+8.20

Latest

Latest

yforster released this 30 Sep 09:19

70dfc56

What's Changed

Higher-order beta-matching by @mrhaandi in #220

Contributors

mrhaandi

Assets 2