LeanDoomed. Simple Raycasting Example in Lean4 using SDL2

github.com/ValorZard/LeanDoomed
by @ValorZard

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.