search

ufmg-smite / lean-smt

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

[WIP] Int/Rat lemmas #120

Open AdrienChampion opened 2 months ago

AdrienChampion commented 2 months ago

more Int and Rat lemmas