Courtade–Kumar proof module `CKLaneM06.CapSS.C030 (+8 modules: CKLaneM06.CapSS.C031, CKLaneM06.CapSS.C032, CKLaneM06.CapSS.C033, CKLaneM06.CapSS.C034, CKLaneM06.CapSS.C035, CKLaneM06.CapS…

Initializing...

Courtade–Kumar proof module `CKLaneM06.CapSS.C030 (+8 modules: CKLaneM06.CapSS.C031, CKLaneM06.CapSS.C032, CKLaneM06.CapSS.C033, CKLaneM06.CapSS.C034, CKLaneM06.CapSS.C035, CKLaneM06.CapS… · Prove2Me