ProofSystem/Encyclopedia - GitHub Explorer | GitHub Explorer | Trending

Stars

124

Forks

37

Watchers

124

Open Issues

31

Repository Health Score

❤️

30/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

Update PDF

Bruno Woltzenlogel Paleo•3 years ago

adb6463View on GitHub

Write preface of the third edition

Bruno Woltzenlogel Paleo•3 years ago

83f6be0View on GitHub

Fix preface of the second edition

Bruno Woltzenlogel Paleo•3 years ago

a3f3b29View on GitHub

Update PDF

Bruno Woltzenlogel Paleo•3 years ago

a3f79cbView on GitHub

Merge commit '708d9522b83886a7b048664c846a47aeea5b3103'

Bruno Woltzenlogel Paleo•3 years ago

d665040View on GitHub

Fixing 'Too many math alphabets' error

Giselle Reis•3 years ago

708d952View on GitHub

Command for debugging 'Too many math alphabets'

Giselle Reis•3 years ago

11e34b1View on GitHub

Removing mathbf from titles

Giselle Reis•3 years ago

21bab6eView on GitHub

Update PDF

Bruno Woltzenlogel Paleo•6 years ago

f97875fView on GitHub

Merge branch 'PrincipiaMathematica'

Bruno Woltzenlogel Paleo•6 years ago

d9e4d60View on GitHub

Attempt to include Frege

Bruno Woltzenlogel Paleo•6 years ago

26139a8View on GitHub

Removing -interaction nonstopmode from pdflatex

Giselle Reis•6 years ago

09a8148View on GitHub

Using {\em } results on a wrong .bbl file

Giselle Reis•6 years ago

e4fb349View on GitHub

Adjust style of PrincipiaMathematica

Bruno Woltzenlogel Paleo•6 years ago

16fe4f4View on GitHub

Add proper bibliography for PrincipiaMathematica

Bruno Woltzenlogel Paleo•6 years ago

a009f4fView on GitHub

View all commits

GitHub Explorer

Encyclopedia

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues