search

smtcoq / sniper

Other
33 stars 6 forks source link

Port to Coq 8.13 #1

Closed ckeller closed 3 years ago