lean-quantum
Lean formalization of the theory of quantum information and quantum computation - GitHub - Hayata-Yamasaki-Group/lean-quantum: Lean formalization of the theory of quantum information and quantum computation
Take a look →OPEN SOURCE, IN FOCUS
tnlean
lionsr/tnlean
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Saved projects stay in this browser. No account needed.
TAKE A CLOSER LOOK
Start with the source.
The repository is the place to check installation steps, supported platforms, the license, and current maintenance before choosing a tool.
Read the documentation on GitHub ↗Keep exploring
Find projects in the same areas, or search the archive for a different approach.