StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 3,387

  1. …in reply to @undefined
    @Fried_Brice .@jamesdabbs was showing me leanprover.github.io/about/ the other day.
    On twitter.com Twitter logo StevenXClontz’s avatar Mood 0