On a dependent type theory conservative extension of primitive recursive arithmetic:
Created on September 19, 2024 at 23:15:36. See the history of this page for a list of all contributions to it.