High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge
500 A Collection of Sketches by Spencer Nugent
Spencer Nugent
Civil Disobedience
Henry David Thoreau
Two Treatises of Government : And a Letter Concerning Toleration
John Locke
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program