issues
search
leanprover-community
/
lean-auto
Experiments in automation for Lean
Apache License 2.0
72
stars
12
forks
source link
fix trace bugs
#36
Closed
JOSHCLUNE
closed
2 weeks ago