paraconsistent-lean4

Here are 2 public repositories matching this topic...

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

Paraconsistent computation layer: Lean 4 formalization of the Imscribing Grammar with Belnap FOUR logic

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

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