Issues

• Add whole module problem

  uwplse/magic#9 · Filter by author tlringer opened on Nov 2, 2021

• Add transformation problem based on proof repair across type equivalences

  uwplse/magic#8 · Filter by author tlringer opened on Nov 2, 2021

• Add differencing/search problem based on proof repair across type equivalences

  uwplse/magic#7 · Filter by author tlringer opened on Nov 2, 2021

• Coq CI

  uwplse/magic#6 · Filter by author tlringer opened on Aug 10, 2019

• Update Coq version

  uwplse/magic#5 · Filter by author tlringer opened on Aug 10, 2019

• Create a version without pop culture references?

  uwplse/magic#4 · Filter by author tlringer opened on Aug 10, 2019

• Use Coq plugin library

  uwplse/magic#3 · Filter by author tlringer opened on Aug 10, 2019

• Use better evar_map hygeine

  uwplse/magic#2 · Filter by author tlringer opened on Aug 2, 2019