issues
search
leanprover-community
/
lean-auto
Experiments in automation for Lean
Apache License 2.0
73
stars
12
forks
source link
fix leadingForallQuasiMonomorphic bug
#33
Closed
JOSHCLUNE
closed
1 month ago