issues
search
lean-dojo
/
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
https://leandojo.org
MIT License
478
stars
72
forks
source link
fix #118
#120
Closed
tonyxty
closed
6 months ago
tonyxty
commented
6 months ago
version "4.3.0" (without rc
x
) will be considered new.
yangky11
commented
6 months ago
thx
version "4.3.0" (without rcx) will be considered new.