A generic goal preprocessing tool for proof automation tactics in Coq
updated at Dec. 19, 2023, 5:12 p.m.
2 +0
14 +0
7 +0