Type Theory Forall

@ttforall.bsky.social

182 Followers · 188 Following

Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com