search

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
94 stars 19 forks source link

Add macros for quantified formulas. #50

Closed abdoo8080 closed 1 year ago