Giters

leodemoura / 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 69.6%Language:CSS 12.8%Language:Emacs Lisp 9.2%Language:Makefile 8.4%