https://github.com/logicalatomist/principia

The Principia Rewrite
https://github.com/logicalatomist/principia

coq coq-ecosystem formal-logic formal-mathematics formal-proofs history-of-philosophy latex latex-packages logic

Last synced: 7 days ago
JSON representation

The Principia Rewrite

• Host: GitHub
• URL: https://github.com/logicalatomist/principia
• Owner: LogicalAtomist
• License: gpl-3.0
• Created: 2020-09-27T21:21:43.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2024-12-17T17:03:43.000Z (about 1 month ago)
• Last Synced: 2025-01-08T03:18:25.427Z (14 days ago)
• Topics: coq, coq-ecosystem, formal-logic, formal-mathematics, formal-proofs, history-of-philosophy, latex, latex-packages, logic
• Language: TeX
• Homepage: https://www.principiarewrite.com/
• Size: 11.1 MB
• Stars: 209
• Watchers: 16
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

        
principia.sty - a LaTeX2e package for typesetting the "Peanese" notation of Whitehead and Russell's 1910 "Principia Mathematica".

The file principia.sty is the original work of Landon D. C. Elkind (Copyright (c) 2024). It is released under the LaTeX Project Public License 1.3c.

This is principia package Version 3.0 (2024/12/16). This version covers typesetting the notations through Volumes I-III of "Principia Mathematica" and includes some commands to facilitate typesetting the appendices to Volume I and fixes (especially to square dots). See the file principia.pdf for information on these changes and for further information on how to typeset Peanese symbols in LaTeX with the principia package.

Changes between version updates can be found at https://logicalatomist.github.io/principia/

Comments and suggestions are welcomed by the package maintainer, signed below.

Landon D. C. Elkind

Western Kentucky University