GitHub - dominique-unruh/tensor-product: Isabelle/HOL library for (Hilbert) tensor products

dominique-unruh / tensor-product Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Isabelle/HOL library for (Hilbert) tensor products

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 820 Commits
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
Algebraic_Tensor_Product.thy		Algebraic_Tensor_Product.thy
All.thy		All.thy
Completion.thy		Completion.thy
Free_Vector_Spaces.thy		Free_Vector_Spaces.thy
Preliminaries_Tensor_Product.thy		Preliminaries_Tensor_Product.thy
ROOT		ROOT
Tensor_Product.thy		Tensor_Product.thy
Tensor_Product_Code.thy		Tensor_Product_Code.thy
Tensor_Product_Code_Examples.thy		Tensor_Product_Code_Examples.thy
ToDo_Tensor.thy		ToDo_Tensor.thy
draft.thy		draft.thy
isabelle.sh		isabelle.sh

About

Isabelle/HOL library for (Hilbert) tensor products

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages