LogicalAtomist

Western Kentucky University's resident logical atomist

Western Kentucky UniversityBowling Green, Kentucky, USA

Pinned Repositories

content
The content behind MDN Web Docs
Language:HTML0 0 00
LandonElkind
Academic website
Language:JavaScript0 1 00
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml1 0 00
Open-Logic-Project
Language:TeX3 0 01
PM-MATS
principia mathematica editorial apparatus
Language:JavaScript0 0 00
pm-neo4j-helper
Python script to help translating proof relation in PM to neo4j queries
Language:Python0 0 00
principia
The Principia Rewrite
Language:TeX208 16 05
ProblemsOfPhilosophy
The TeX source file and PDF for the student edition of The Problems of Philosophy
Language:TeX2 1 00
UI-Map
Language:PHP1 0 00
PM-MATS
Principia Mathematica editorial apparatus
Language:JavaScript2 2 491

LogicalAtomist's Repositories

LogicalAtomist/principia
The Principia Rewrite
Language:TeX208 16 05
LogicalAtomist/Open-Logic-Project
Language:TeX3 0 01
LogicalAtomist/ProblemsOfPhilosophy
The TeX source file and PDF for the student edition of The Problems of Philosophy
Language:TeX2 1 00
LogicalAtomist/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml1 0 00
LogicalAtomist/UI-Map
Language:PHP1 0 00
LogicalAtomist/content
The content behind MDN Web Docs
Language:HTML0 0 00
LogicalAtomist/LandonElkind
Academic website
Language:JavaScript0 1 00
LogicalAtomist/PM-MATS
principia mathematica editorial apparatus
Language:JavaScript0 0 00
LogicalAtomist/pm-neo4j-helper
Python script to help translating proof relation in PM to neo4j queries
Language:Python0 0 00