Name		Name	Last commit message	Last commit date
Latest commit History 91 Commits
.github		.github
TensorLib		TensorLib
Test		Test
bin		bin
.gitignore		.gitignore
LICENSE		LICENSE
Main.lean		Main.lean
README.md		README.md
TensorLib.lean		TensorLib.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
requirements.txt		requirements.txt