LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

Lean-QuantumInfo

Quantum information theory in Lean 4

LeanEmerging

Stars

—

Forks

—

Contributors

5

Last push

8mo ago

Recent commits

Latest commits.

shorter proof
88e40d3devtest-boop8mo ago
prove transpose trick
3592309devtest-boop8mo ago
Merge branch 'Timeroot:main' into main
87e59eedevtest-boop8mo ago
Merge branch 'main' of https://github.com/Timeroot/Lean-QuantumInfo
fc5fd31Timeroot8mo ago
spectrum_prod
44542dfTimeroot8mo ago

Attribution in MState

3e75f31Leonardo Lessa8mo ago

Merge branch 'main' of https://github.com/Timeroot/Lean-QuantumInfo

47b259dTimeroot8mo ago

Copyrights + attribution

13d8968Timeroot8mo ago

Top contributors

Builders behind this project.