https://github.com/umpolungfish/p4rakernel
a fork of Lean 4 (v4.28.0) implementing a true paraconsistent type-theoretic kernel — the principle of explosion — "ex falso quodlibet" — is disabled at the kernel level.
https://github.com/umpolungfish/p4rakernel
belnap-logic dialetheia four-logic imscribe imscribing-grammar imscriptive paraconsistent-kernel paraconsistent-lean4 paraconsistent-logic
Last synced: 17 days ago
JSON representation
a fork of Lean 4 (v4.28.0) implementing a true paraconsistent type-theoretic kernel — the principle of explosion — "ex falso quodlibet" — is disabled at the kernel level.
- Host: GitHub
- URL: https://github.com/umpolungfish/p4rakernel
- Owner: umpolungfish
- License: apache-2.0
- Created: 2026-06-02T04:32:28.000Z (27 days ago)
- Default Branch: p4rakernel
- Last Pushed: 2026-06-11T17:33:09.000Z (18 days ago)
- Last Synced: 2026-06-11T19:18:37.846Z (18 days ago)
- Topics: belnap-logic, dialetheia, four-logic, imscribe, imscribing-grammar, imscriptive, paraconsistent-kernel, paraconsistent-lean4, paraconsistent-logic
- Language: Lean
- Homepage: https://imscribe.com
- Size: 53.7 MB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: CODEOWNERS