3,147 followers
Classical System of Martin-Lof’s Inductive Definitions Is Not Equivalent to Cyclic Proof System https://t.co/7eqCahpsOf 2-Hydraとかいう超強いザコ.
Classical System of Martin-Lof’s Inductive Definitions Is Not Equivalent to Cyclic Proof System https://t.co/7eqCahpsOf 2-Hydraとかいう超強いザコ.