Loading paper
A smooth variant of Hopkins-Singer differential K-theory | Tomesphere