search

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.
https://leandojo.org
MIT License
536 stars 79 forks source link

Alternative function to LeanGitRepo #184

Closed LuoKaiGSW closed 1 month ago

LuoKaiGSW commented 1 month ago

I have a Lean4 project file, but I cannot upload it to Git because it contains company data. Is there any alternative to LeanGitRepo? Looking forward to your reply. Thank you!