home
groups
about
login
help
programming_languages@programming.dev
Type Theory Forall - #34 Foundations of Theorem Provers and Cedille2 (Podcast)
(
www.typetheoryforall.com
)
from
armchair_progamer@programming.dev
to
programming_languages@programming.dev
on 16 Oct 2023 15:29
https://programming.dev/post/4447175
#programming_languages
threaded -
newest
threaded - newest