hope-2015-coq-1
0ce42920 · coq-ho: update README, remove commented-out robust safety (in preparation for HOPE) ·