On a dependent type theory conservative extension of primitive recursive arithmetic:
Last revised on May 15, 2025 at 22:35:05. See the history of this page for a list of all contributions to it.