Giters
Dale Miller (ThatDaleMiller)

ThatDaleMiller

Geek Repo

7

followers

1

following

8

stars

Company:Inria-Saclay and LIX, Institute Polytechnique de Paris

Home Page:http://www.lix.polytechnique.fr/Labo/Dale.Miller/

Github PK Tool:Github PK Tool

Dale Miller's repositories

Encyclopedia

An Open Encyclopedia of Proof Systems

Language:TeXStargazers:1Issues:0Issues:0

coq-elpi

Coq plugin embedding elpi

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

markdown-mode

Emacs Markdown mode

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0