samuelgruetter / ordered_resolution

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About


Languages

Language:Coq 100.0%