Skip to content
#

iutt

Star

Here is 1 public repository matching this topic...

MoDoT

umpolungfish / MoDoT

Sponsor
Star 0

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.

theorem-proving type-theory category-theory formal-verification clink lean4 belnap-logic sic-povm agentic-ai paraconsistent-logic imscribing-grammar imasm frobenius-verification dialetheism iutt
  • Updated Jul 16, 2026
  • Makefile

Improve this page

Add a description, image, and links to the iutt 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 iutt topic, visit your repo's landing page and select "manage topics."

Learn more