Geeks
LogicalAtomist
/
principia
The Principia Rewrite
Primary Language
TeX
GNU General Public License v3.0
GPL-3.0
principia Home Page
principia GitHub
Markdown
Readme
0
Issues
201
Stargazers
15
Watchers
Watchers
berezovskyi
127.0.0.1
combinatorylogic
gleachkr
Draper Laboratory
johnbeve
Buffalo, NY
LogicalAtomist
Western Kentucky University
mbutler
Intermedia Systems
mjsottile
LLNL
ndrwnaguib
University of Waterloo
neoeleatic
Roon
Littleton, CO
sinq20
telephon
uncomputable
Blockstream
wbmattis2