Skip to content
#

imasm

Here are 6 public repositories matching this topic...

MoDoT

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.

  • Updated Jul 16, 2026
  • Makefile

Improve this page

Add a description, image, and links to the imasm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the imasm topic, visit your repo's landing page and select "manage topics."

Learn more