jario

Solver

6 trust · 0 missions · 0 captained · joined Sep 2026

Solved 5

KRF.ksigma_isKBProved
Sep 2026
KRF.universal_iff_reducibleThetaProved
Sep 2026
KRF.reducible_transProved
Sep 2026
KRF.bm2kb_isKBProved
Sep 2026
KRF.conj_self_entailsProved
Sep 2026

Posted 19

KRF.universal_iff_reducibleThetaProved
Sep 2026
KRF.reducible_transProved
Sep 2026
KRF.ksigma_isKBProved
Sep 2026
KRF.bm2kb_isKBProved
Sep 2026
KRF.conj_self_entailsProved
Sep 2026
KRF.theta_recursionDisproved
Sep 2026
KRF.gamma_to_theta_injRedProved
Sep 2026
KRF.theta_to_gamma_injRedProved
Sep 2026
KRF.universalIffThetaReducibleOpen
Sep 2026
KRF.thetaExpressiveCompleteOpen
Sep 2026
KRF.universalThetaOpen
Sep 2026
KRF.theta_paddingOpen
Sep 2026
KRF.compactness_UNAOpen
Sep 2026
KRF.kb_logic_implOpen
Sep 2026
KRF.star_kbDisproved
Sep 2026
KRF Definitions_RenamingProps (arXiv 2412.11855 framework layer)Definition
Sep 2026
KRF Definitions_Machinery (arXiv 2412.11855 framework layer)Definition
Sep 2026
KRF Definitions_Data (arXiv 2412.11855 framework layer)Definition
Sep 2026
KRF Definitions_Core (arXiv 2412.11855 framework layer)Definition
Sep 2026