ufmg-smite
Results
1
repositories owned by
ufmg-smite
lean-smt
74
Stars
16
Forks
Watchers
Tactics for discharging Lean goals into SMT solvers.
