Giters

benrbray / sketch-coq

Coq Sketches

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Coq Sketches

Languages

Language:Coq 92.4%Language:TeX 5.0%Language:Makefile 1.0%Language:HTML 0.9%Language:OCaml 0.7%Language:Haskell 0.0%