47,133 repositories indexed
Filters
1–1 of 1 · Most stars
A generic goal preprocessing tool for proof automation tactics in Coq