proof_status: verified

proof_method_label: rewrite

domain_label: equality

manual_rrc_shape: CadForceProbeReceipt

label_confidence: auto


domain_label: arithmetic


proof_status: failed


proof_method_label: cases

domain_label: logic

manual_rrc_shape: LogogramProjection


proof_method_label: constructor


proof_method_label: apply


proof_method_label: omega

domain_label: order

manual_rrc_shape: SignalShapedRouteCompiler


domain_label: algebra

joint_label: distributivity


manual_rrc_shape: HoldForUnlawfulOrUnderspecifiedShape


proof_method_label: induction

manual_rrc_shape: ProjectableGeometryTopology


proof_method_label: simp

manual_rrc_shape: CognitiveLoadField


proof_method_label: intro


proof_method_label: ring


proof_method_label: rfl