Random triples
Subject | Object |
---|---|
gptkb:intuitionistic_Zermelo–Fraenkel_set_theory | intuitionistic logic |
gptkb:Peano_arithmetic | gptkb:first-order_logic |
gptkb:Coq_proof_assistant | calculus of inductive constructions |
Subject | Object |
---|---|
gptkb:intuitionistic_Zermelo–Fraenkel_set_theory | intuitionistic logic |
gptkb:Peano_arithmetic | gptkb:first-order_logic |
gptkb:Coq_proof_assistant | calculus of inductive constructions |