search

ufmg-smite / lean-smt

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

Reconstruction #31

Closed tomaz1502 closed 2 years ago

tomaz1502 commented 2 years ago

Added initial implementation for reconstruction of proofs (wip)