git.xn--bdkaa.com Git - temple.lean4.git/tree

]> git.xn--bdkaa.com Git - temple.lean4.git/tree

projects / temple.lean4.git / tree

summary | shortlog | log | commit | commitdiff | tree
snapshot

-rw-r--r--	7	.gitignore	blob \| history \| raw
-rw-r--r--	89	Temple.lean	blob \| history \| raw
drwxr-xr-x	-	Temple	tree \| history
-rw-r--r--	971	lake-manifest.json	blob \| history \| raw
-rw-r--r--	324	lakefile.lean	blob \| history \| raw

Simple template library in Lean4.