search

smtcoq / smtcoq-api

An API to interact with SMTCoq
Other
2 stars 1 forks source link

readme

smtcoq-api

An API to interact with SMTCoq