The Essential Cantong qi
Golden Elixir Press
A treatise on electricity and magnetism
Maxwell, James Clerk, 1831-1879
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program