Skip to content

Issues: ProofSystem/Encyclopedia

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

31 Open 7 Closed
31 Open 7 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Would it be better to create a unified notation system?
#97 opened Nov 14, 2022 by Tiancheng-Luo
2
create entry: Church simple theory of types (1940)
#91 opened Feb 16, 2020 by vcvpaiva
Hoare Logic
#90 opened Oct 15, 2018 by jonaprieto
1
Entries on LF family DemandedEntry
#88 opened Nov 1, 2017 by gisellemnr
Matings DemandedEntry
#86 opened Oct 1, 2017 by gisellemnr
Model elimination DemandedEntry
#85 opened Oct 1, 2017 by gisellemnr
The Scala Type System DemandedEntry
#84 opened Sep 29, 2017 by ceilican
Connection calculi DemandedEntry
#80 opened Sep 28, 2017 by gisellemnr
CDCL DemandedEntry
#79 opened Sep 28, 2017 by gisellemnr
1
Jaskowski/Fitch natural deduction DemandedEntry
#76 opened Sep 28, 2017 by gisellemnr
Carnap's simple type theory DemandedEntry
#75 opened Sep 28, 2017 by gisellemnr
Add metadata about implementations to entries Metadata
#71 opened Sep 22, 2017 by ceilican
2
Improve bibliography LaTeX-Improvement
#67 opened Aug 14, 2017 by gisellemnr
@gisellemnr
Mechanized Formalization of Proof System Organization
#53 opened Apr 4, 2017 by viveknigam
3
Have a look on the museum of theorem provers and create entries for their underlying proof systems DemandedEntry
#52 opened Apr 4, 2017 by ceilican
1
Calculi for Description Logics DemandedEntry
#49 opened Dec 6, 2016 by arademaker
1
Uniformize Entry Titles Typesetting&Formatting
#48 opened Dec 5, 2016 by ceilican
6
Normalize citations among entries Typesetting&Formatting
#47 opened Dec 1, 2016 by ceilican
1
Make index by surname LaTeX-Improvement
#46 opened Dec 1, 2016 by ceilican
Entries that should be reduced to 1 page Typesetting&Formatting
#45 opened Nov 24, 2016 by ceilican
1
Entries that should be expanded to two pages Typesetting&Formatting
#44 opened Nov 24, 2016 by ceilican
Introductory Chapters Organization
#43 opened Oct 13, 2016 by ceilican
Mark/Highlight entries about proof systems that have been used within automated theorem provers Organization
#42 opened Oct 13, 2016 by ceilican
1
Entry about Tableaux DemandedEntry
#36 opened Nov 6, 2015 by ceilican
2
Classification: Theory-oriented? Application-oriented? Organization
#33 opened Sep 21, 2015 by ceilican
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.