New Twitter Mentions for xenaproject

Type Theory Forall artwork
@xenaproject was mentioned in #26 Mechanizing Modern Mathematics - Kevin Buzzard
Type Theory Forall
Filter by Podcast