8000 GitHub - leanprover/TensorLib: A verified tensor library in Lean

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
Latest commit History 79 Commits
.github		.github
TensorLib		TensorLib
Test		Test
bin		bin
.gitignore		.gitignore
CODEOWNERS		CODEOWNERS
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

Provide feedback

Saved searches