Skip to content

Categorical Quantum Mechanics (by Abramsky and Coecke) in Coq

Notifications You must be signed in to change notification settings

jabberabbe/CatQM

About

Categorical Quantum Mechanics (by Abramsky and Coecke) in Coq

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published