Giters

amosr / talks

talks

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

talks

Languages

Language:TeX 55.4%Language:SMT 26.2%Language:Coq 15.2%Language:Haskell 1.4%Language:Makefile 1.1%Language:Shell 0.6%