fieldstrength / xquant

Dependently-typed structures for quantum physics in Idris
13Updated 8 years ago

Related projects

Alternatives and complementary repositories for xquant