proof-theory topic
List
proof-theory repositories
foundational-knowledge-for-programmers
163
Stars
11
Forks
Watchers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
plt
5.2k
Stars
334
Forks
Watchers
Programming Language Theory λΠ
code
33
Stars
2
Forks
Watchers
Proof theory seminar
pmGenerator
20
Stars
3
Forks
Watchers
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.