← Feed @nathan@types.pl Post #3057009 2026-04-19 22:37 UTC New blog post: finally got to the point where I can write the words "curry-howard", please clap https://ntaylor.ca/posts/lean-ltl-4/ Replies (0) No replies.