Giters

gasche / presentations

lean-related presentations

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

lean-related presentations

License:Apache License 2.0

Languages

Language:HTML 79.2%Language:Lean 10.9%Language:CSS 4.0%Language:Makefile 3.3%Language:Emacs Lisp 2.6%