Skip to content

Add eink0rn, a clean-room Lean 4 kernel in Haskell - #177

Merged
nomeata merged 4 commits into
leanprover:masterfrom
Timeroot:eink0rn
Aug 30, 2026
Merged

Add eink0rn, a clean-room Lean 4 kernel in Haskell#177
nomeata merged 4 commits into
leanprover:masterfrom
Timeroot:eink0rn

eink0rn: cut the description to a third

57ff61d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Determine round
succeeded Aug 30, 2026 in 3s