_CoqProject · bf42c06565bb7e999e12b014b8e3193cc2905616 · Marianna Rapoport / iris-coq · GitLab

Skip to content

GitLab

Explore

Sign in

iris-coq
_CoqProject

Blame Permalink

Jul 19, 2016
bf42c065

Repair tree_sum test case and add to _CoqProject. · bf42c065
Robbert Krebbers authored Jul 19, 2016

bf42c065

Repair tree_sum test case and add to _CoqProject.
Robbert Krebbers authored Jul 19, 2016

Loading