frobenius-verification

Star

Here are 2 public repositories matching this topic...

umpolungfish / mOMonadOS

Sponsor

Star

m⊙²: The Self-Imscribing Bare-Metal Kernel — a Rust OS with no processes, scheduler, or filesystem hierarchy

Updated Aug 12, 2026
Rust

umpolungfish / MoDoT

Sponsor

Star

M⊙nadic ⊙perator-driven ⊙rganismic The⊙rizer - 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 Aug 12, 2026
Rust

Improve this page

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

Learn more