A Coq library providing tactics to deal with hypothesis
updated at Feb. 16, 2024, 1:12 p.m.
3 +0
19 +0