Development has moved to AFP (https://foss.heptapod.net/isa-afp/afp-devel)
Formalization of the space of complex bounded operators
Author: Jose Manuel Rodriguez Caballero, Dominique Unruh Licence: BSD 3-clause
Development has moved to AFP (https://foss.heptapod.net/isa-afp/afp-devel)
Formalization of the space of complex bounded operators
Author: Jose Manuel Rodriguez Caballero, Dominique Unruh Licence: BSD 3-clause