SNAPKITTYWEST/jungian-quantum-pipeline
Formal mathematical formalization of Jung's Red Book — archetypes as Isabelle/HOL convergent operators, Quipper quantum circuits, Julia stochastic simulations
正在读取项目信息…
Formal mathematical formalization of Jung's Red Book — archetypes as Isabelle/HOL convergent operators, Quipper quantum circuits, Julia stochastic simulations