All Questions
Tagged with foundations logical-frameworks
1
question
13
votes
1
answer
169
views
Attempts to accommodate theories of different consistency strength in single assistant
TL;DR: How / where to formalize results concerning the logical strength of systems? Are proof assistants having a weak base theory but also enough infrastructure to make it feasible?
I'll start by ...