dependent types, lambda calculus, Curry-Howard, proof assistants
No more posts from JoaoVictor's subscribed feeds.
Press ? anytime to show this help