Projects in Awesome Lists tagged with selinger
A curated list of projects in awesome lists tagged with selinger .
https://github.com/thery/selinger
Formalisation of Selinger proof about quantum gate
coq formalization linear-algebra quantum-gates selinger
Last synced: 17 Jul 2025
