Giters

jcnm / cpdt

Certified Programming with Dependent Types sources, by Adam Chlipala

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Certified Programming with Dependent Types sources, by Adam Chlipala

Languages

Language:Coq 93.9%Language:Verilog 4.1%Language:TeX 1.7%Language:Makefile 0.2%