search

smtcoq / sniper

Other
33 stars 6 forks source link

Add support for Coq 8.19. #17

Closed tomaz1502 closed 2 months ago