GitHub repository: leanprover/presentations
Primary language: TeX
Created: 2015-01-23T19:51:23Z
Description: lean-related presentations