Giters
ProofSystem
/
Encyclopedia
An Open Encyclopedia of Proof Systems
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
116
Watchers:
21
Issues:
38
Forks:
37
ProofSystem/Encyclopedia Issues
Would it be better to create a unified notation system?
Updated
2 years ago
Comments count
2
Frege's system
Closed
2 years ago
Mechanized Formalization of Proof System
Updated
2 years ago
Comments count
3
Add metadata about implementations to entries
Updated
2 years ago
Comments count
2
Glossary
Updated
5 years ago
Comments count
3
Whitehead/Russell from Principia Mathematica
Closed
5 years ago
Comments count
2
Hilbert systems
Closed
5 years ago
Comments count
6
create entry: Church simple theory of types (1940)
Updated
5 years ago
Hoare Logic
Updated
6 years ago
Comments count
1
Entry by comma spacing
Closed
7 years ago
Normalize citations among entries
Updated
7 years ago
Comments count
1
Entries that should be reduced to 1 page
Updated
7 years ago
Comments count
1
Entries on LF family
Updated
7 years ago
Matings
Updated
7 years ago
Model elimination
Updated
7 years ago
The Scala Type System
Updated
7 years ago
Connection calculi
Updated
7 years ago
CDCL
Updated
7 years ago
Comments count
1
Carnap's simple type theory
Updated
7 years ago
Jaskowski/Fitch natural deduction
Updated
7 years ago
Entry about Tableaux
Updated
7 years ago
Comments count
2
Mark/Highlight entries about proof systems that have been used within automated theorem provers
Updated
7 years ago
Comments count
1
Entries that should be expanded to two pages
Updated
7 years ago
Uniformize Entry Titles
Updated
7 years ago
Comments count
6
Calculi for Description Logics
Updated
7 years ago
Comments count
1
Have a look on the museum of theorem provers and create entries for their underlying proof systems
Updated
7 years ago
Comments count
1
Classification: Refutational versus Non-Refutational
Updated
7 years ago
Comments count
6
Classification: Top-down / Bottom-up
Updated
7 years ago
Classification: Theory-oriented? Application-oriented?
Updated
7 years ago
Comments count
1
Introductory Chapters
Updated
7 years ago
Irregular spacing between entry title and calculus box
Updated
7 years ago
Separation of entry author names
Updated
7 years ago
Anonymous entries
Updated
7 years ago
Make index by surname
Updated
7 years ago
Improve bibliography
Updated
7 years ago
Entry about LJ*
Closed
7 years ago
Comments count
3
Website where entries could be filtered/grouped
Closed
8 years ago
Stricter editorial control?
Closed
8 years ago