Geeks
Anderssorby
/
Quantum.lean
Quantum computing with Lean
Primary Language
Lean
Quantum.lean GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
Anderssorby
Sopra Steria
eemailme