Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
Lean-QuantumInfo
Quantum information theory in Lean 4
Lean
Emerging
lean
lean4
quantum-computing
GitHub
Stars
133
Forks
34
Contributors
8
Last push
2mo ago
Recent commits
Latest commits.
README: Point to Physlib
56e83a9
Alex Meiburg
2mo ago
Merge pull request #37 from Timeroot/dpi_finish
4422524
Alex Meiburg
2mo ago
README: GQSL done
cc4d239
Alex Meiburg
2mo ago
Hayata code: copyright, license, port notes
aa501d1
Alex Meiburg
2mo ago
done done
86f2aae
Alex Meiburg
2mo ago
adjust Hayata's code to v4.28, clear lints
9367d67
Alex Meiburg
2mo ago
add Lieb from Hayata's group
ccde8e3
Alex Meiburg
2mo ago
mein lieb-lich
84a6dff
Alex Meiburg
2mo ago
Top contributors
Builders behind this project.
Timeroot
376 commits
Megaleo
74 commits
rodolfor-s
19 commits
jkr11
6 commits
devtest-boop
6 commits
BoltonBailey
3 commits
MrBrain295
2 commits
tannerduve
2 commits
