search

smtcoq / sniper

Other
33 stars 6 forks source link

change .opam for coq-8.14 #13

Closed louiseddp closed 1 year ago