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

feat: Add type_former_lint

Browse source
This commit is contained in:
jstoobysmith 2024-06-26 11:12:13 -04:00
parent dc8a42bac0
commit 18b83f582e
2 changed files with 55 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
lakefile.toml
View file

@ -27,6 +27,12 @@ name = "HepLean"
#git = "https://github.com/lean-dojo/LeanCopilot.git"
#rev = "v1.2.2"
# lean_exe commands defined specifically for HepLean.
[[lean_exe]]
name = "check_file_imports"
srcDir = "scripts"
[[lean_exe]]
name = "type_former_lint"
srcDir = "scripts"