Skip to main content

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
  • universes

etc.

References:

  • Oregon Programming Languages Summer School 2012
         Logic, Languages, Compilation, and Verification
        Curriculum
        YouTube Playlist
  • "forall x An Introduction to Formal Logic" by P.D. Magnus (pdf)
  • "Metatheory" by Tim Button (pdf)