lobste_rs feeds.twtxt.net Thu, Aug 29 3:23AM 2024 (1y ago) aya-dev: A proof assistant and a dependently-typed language Comments ⌘ Read more ⤋ Read More