Giters

alberdingk-thijm / mrwolf-proofs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Timepiece & MisterWolf proofs

Coq proofs for Timepiece and its inference module MisterWolf.

About

Languages

Language:Coq 98.7%Language:Makefile 1.3%