Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Home
/
Discussion
/
Proof Theory
Back to Discussion
Proof Theory
Loading...
4 stories
•
24h:
0%
•
7d: 0
•
0 comments
Top contributors:
surprisetalk
measurablefunc
mannykannot
tzury
Stories
Related Stories
4 stories tagged with proof theory
Emily Riehl, a New Paradigm for Mathematical Proof? [video]
3
0 comments
by surprisetalk
Posted
about 2 months ago
Active
about 1 month ago
mathematics
proof theory
category theory
Modern Perspectives in Proof Theory (2023)
2
0 comments
by measurablefunc
Posted
about 2 months ago
Active
about 1 month ago
proof theory
mathematics
logic
Tree Proof (semantic Tableau) Generator
2
0 comments
by mannykannot
Posted
3 months ago
Active
about 1 month ago
logic
proof theory
mathematical tools
Proof and Progress in Mathematics
2
0 comments
by tzury
Posted
5 months ago
mathematics
proof theory
mathematical progress
Proof Theory | Trending Topic on Hacker News | Not Hacker News!