Verified record · from the answer index

rocq-elpi

clitested · static-verifiedscore 23/100signed passport ✓1 monthly downloads

Elpi extension language for Rocq

cli:brew:rocq-elpi · published by lpcic · source repository