The Simplest Model of X-Logic
Overview
Introduction
Types
Propositions
Meta Reasoning