GitHub repository: ui-libraries/principia
Primary language: JavaScript
Created: 2023-07-25T21:03:57Z
Description: principia mathematica editorial apparatus