issues
search
ufmg-smite
/
lean-smt
Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
94
stars
19
forks
source link
SmtRw tactic: Included a hashmap
#64
Closed
mhk119
closed
1 year ago
tomaz1502
commented
1 year ago
This is duplicate with #65, so I am closing
This is duplicate with #65, so I am closing