Add support for QUANT_MINISCOPE rewrite rule. - Githubissues

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

93 stars 19 forks source link

Add support for QUANT_MINISCOPE rewrite rule. #108

Closed abdoo8080 closed 4 months ago