]> git.xn--bdkaa.com Git - temple.lean4.git/tree
Update the deps
-rw-r--r-- 7 .gitignore
-rw-r--r-- 89 Temple.lean
drwxr-xr-x - Temple
-rw-r--r-- 1065 lake-manifest.json
-rw-r--r-- 392 lakefile.toml
-rw-r--r-- 28 lean-toolchain