Re:Whitehead and Russell’s Principia rewritten in Coq
by hoseja on Monday December 06, 2021 @05:57AM
(#29458219)
Aren't Latin C's mostly K's? As in, Julius Kaesar? I never quite looked into it in depth, with all the gradual evolution, Church latin etc.
[ Parent
| on HN ]
There are no comments on this comment yet.