GitHub Trending Topics Languages Repositories Users Organizations

/

LionSR TNLean

Public

Watch0 Fork2 Star33

Code Issues Pull requests Insights

HEAD

READMEApache-2.0 license

No README is available through GitHub.

About

Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matrix-product density operators, and projected entangled pair states, building on the QICLean quantum-information library

formalization lean4 mathlib matrix-product-states tensor-networks

Readme
Apache-2.0 license
Activity
33 stars
0 watching
2 forks

Contributors

View all contributors

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse repositories Browse users Browse organizations Browse GitHub topics

© 2026 GitStarJobStar GitHub Trending source