DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update lakefile.toml

Browse source
This commit is contained in:
jstoobysmith 2024-07-12 16:22:10 -04:00
parent ac1132c7ca
commit a44029af68
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lakefile.toml
View file

@ -26,7 +26,7 @@ name = "HepLean"
#[[require]] #[[require]]
#name = "LeanCopilot" #name = "LeanCopilot"
#git = "https://github.com/lean-dojo/LeanCopilot.git" #git = "https://github.com/lean-dojo/LeanCopilot.git"
#rev = "v1.2.2" #rev = "v1.4.1"
# lean_exe commands defined specifically for HepLean. # lean_exe commands defined specifically for HepLean.