i don't actually understand what's happening here but i love that Lean community takes graphical UI seriously and supports widgets in the InfoView (which by the way are made with React!) check out this sick demo
Replies
2024 Sam Ezeh "Graphical Rewriting for Diagrammatic Reasoning in Monoidal Categories in Lean4", 15th International Conference on Interactive Theorem Proving (ITP 2024) drops.dagstuhl.de/entities/doc...
aug 29, 2025, 5:49 pm • 1 0 • view
I’ve been working on SDL3 bindings for lean It’s been … interesting The lean ffi is kinda jank
aug 29, 2025, 3:37 pm • 0 0 • view