From Dev.to Community
Tech Articles
Curated developer articles, tutorials, and guides — auto-updated hourly
Nobuki FujimotoMay 26, 2026 • 21 min read
Paper 157 - Octonion-Axiomatic Dual Independence: 7 Imaginary Units || 7 Axioms, Machine-Checked in Lean 4 (OUTLINE)
An OUTLINE machine-checking (Lean 4, sorry-free) a PARALLEL-independence correspondence: the 7 octon...
#math#lean#logic#research
0 0
Nobuki FujimotoMay 31, 2026 • 24 min read
Paper 159 v0.2 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema (LEAN-4-BUILT, zero axiom dependence)
v0.2 LEAN-4-BUILT. Lean 4 code §3 PROMOTED from PROPOSED -> BUILT: 9 load-bearing theorems machine-v...
#math#lean#philosophy#logic
0 0
Nobuki FujimotoMay 31, 2026 • 16 min read
Paper 159 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema for Nagarjuna's Catuskoti (OUTLINE v0.1)
An OUTLINE proposing a two-layer reconstruction of the Inclosure Schema that Priest & Garfield (2003...
#math#lean#philosophy#logic
0 0