Use this tag for questions about mathematical or logical foundations of proof assistants. Questions should be related in some way to proof assistants. Possible topics might include mathematical modelling, consistency and computability, universes, etc.
Questions should be related in some way to proof assistants. Questions purely of mathematical or logical nature might be better suited for another site. Possible topics might include
- mathematical modelling
- consistency and computability