alaskahoffman/leandoom

(Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.

1 best points · 0 comments · 1 Hacker News post · 21 GitHub stars · View on GitHub

Hacker News discussions