SlideDeck.io – A repository of great HTML presentations
OPAM – Coq working group
View Github Repository
Open presentation in a new window
clarus
See all presentation from clarus
OPAM – Coq working group
0
0
coq-wg-november-2015
Presentation on OPAM for the Coq Working Group of November 2015.
On Github
clarus / coq-wg-november-2015
