An extensible user interface for Lean 4. ~ Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner. https://drops.dagstuhl.de/opus/volltexte/2023/18374/pdf/lipics-vol268-itp2023-complete.pdf#page=411 #ITP #Lean4
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.