Found 1 repositories(showing 1)
liesnikov
Rewriting and verifying subterm relation from Coq-Equations in MetaCoq
All 1 repositories loaded