Sync the evaluation numbers with the paper, and use our equivalence proofs (see #43)

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

MIT License

49 stars 9 forks source link

Sync the evaluation numbers with the paper, and use our equivalence proofs (see #43) #51

Closed tlringer closed 5 years ago

tlringer commented 5 years ago

More meaningful evaluation numbers that match with the paper. Also uses our automatically generated equivalences, including the proofs. The next step is to patch up the paper as well.