eernstg / coq-voidness

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coq-voidness

Clarifying the properties of different rules for deciding voidness preservation by modeling it as a Coq specification.

About


Languages

Language:Coq 100.0%