A Julia package for computing SICs and related objects.
Paraconsistent computation layer: Lean 4 formalization of the Imscribing Grammar with Belnap FOUR logic
Public-facing documents for the Imscribing Grammar corpus (papers, freezes, catalogs).
Six verified sub-catalog Grassmannian coherence packings across three Game of Sloanes cells: (4,64) hlc, (4,48) hlc, (3,14) dgm. Beats the standing Cohn (14+ yr) and Mixon catalog entries. Each ratified byte-exact by 5 independent kernels in 2 languages. Mac M2, single thread. PRs submitted, pending merge. Records, papers, verifier included.
MoDoT — Mathematical Orthogonalization & Dialetheic Organismal Theorem Prover. Types mathematical goals into the 12-primitive Imscribing Grammar, dispatches via Belnap FOUR to kernel prover or Witness arm, and verifies in Lean 4.
Add a description, image, and links to the sic-povm topic page so that developers can more easily learn about it.
To associate your repository with the sic-povm topic, visit your repo's landing page and select "manage topics."