LogicalAtomist/principia

The Principia Rewrite

TeXCoqlatexcoqlogiclatex-packagesformal-mathematicscoq-ecosystemformal-proofsformal-logichistory-of-philosophy
This is stars and forks stats for /LogicalAtomist/principia repository. As of 30 Apr, 2024 this repository has 196 stars and 5 forks.

Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
IslasGECI/robinson_codeRTeXMakefile2000
pveierland/project_euler_offlineTeXPythonNix31000
typst/hypherTeXRust83070
akhilagrawal1001/UnderTheHoodVerilogAssemblyCoq0070
kevinlawler/kerf1CTeXR532-1390
hrue/r-inlaPostScriptCHTML610180
gonum/gonumGoFortranAssembly6.9k05530
mathematical-tours/mathematical-tours.github.ioTeXMATLABPostScript4140880
fnzhan/MISETeX649+11510
aginiewicz/pwrmgrTeXMakefile5020