{"id":14966262,"url":"https://github.com/logicalatomist/principia","last_synced_at":"2025-04-04T11:13:54.988Z","repository":{"id":42494324,"uuid":"299121526","full_name":"LogicalAtomist/principia","owner":"LogicalAtomist","description":"The Principia Rewrite","archived":false,"fork":false,"pushed_at":"2025-01-30T21:01:37.000Z","size":12648,"stargazers_count":214,"open_issues_count":0,"forks_count":5,"subscribers_count":16,"default_branch":"master","last_synced_at":"2025-04-04T11:13:49.814Z","etag":null,"topics":["coq","coq-ecosystem","formal-logic","formal-mathematics","formal-proofs","history-of-philosophy","latex","latex-packages","logic"],"latest_commit_sha":null,"homepage":"https://www.principiarewrite.com/","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/LogicalAtomist.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-09-27T21:21:43.000Z","updated_at":"2025-03-02T16:43:04.000Z","dependencies_parsed_at":"2024-05-18T17:26:46.065Z","dependency_job_id":"c2b37cc5-a78b-4ede-ab76-75da77f1bb5d","html_url":"https://github.com/LogicalAtomist/principia","commit_stats":{"total_commits":62,"total_committers":4,"mean_commits":15.5,"dds":"0.27419354838709675","last_synced_commit":"2c8835aca55bad5533900b93a645c4834d358a09"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LogicalAtomist%2Fprincipia","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LogicalAtomist%2Fprincipia/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LogicalAtomist%2Fprincipia/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LogicalAtomist%2Fprincipia/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LogicalAtomist","download_url":"https://codeload.github.com/LogicalAtomist/principia/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247166168,"owners_count":20894654,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["coq","coq-ecosystem","formal-logic","formal-mathematics","formal-proofs","history-of-philosophy","latex","latex-packages","logic"],"created_at":"2024-09-24T13:36:06.746Z","updated_at":"2025-04-04T11:13:54.948Z","avatar_url":"https://github.com/LogicalAtomist.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"principia.sty - a LaTeX2e package for typesetting the \"Peanese\" notation of Whitehead and Russell's 1910 \"Principia Mathematica\".\n\nThe file principia.sty is the original work of Landon D. C. Elkind (Copyright (c) 2025). It is released under the LaTeX Project Public License 1.3c.\n\nThis is principia package Version 3.2 (2025/01/30). 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.\n\nChanges between version updates can be found at https://logicalatomist.github.io/principia/\n\nComments and suggestions are welcomed by the package maintainer, signed below.\n\nLandon D. C. Elkind\nWestern Kentucky University\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flogicalatomist%2Fprincipia","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flogicalatomist%2Fprincipia","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flogicalatomist%2Fprincipia/lists"}