← Feed @nomeata@mastodon.online Post #2798888 2026-03-28 14:53 UTC Very nicely done video by @david explaining some of my work on #leanprover and well-founded recursion: https://youtu.be/LOUbbiV0mWc Replies (0) No replies.