Giters

javra / 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 77.0%Language:Lean 12.2%Language:CSS 4.4%Language:Makefile 3.5%Language:Emacs Lisp 2.9%