Weakening and strengthening logical predicates

uwplse / pumpkin-pi

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

MIT License

49 stars 9 forks source link

Open tlringer opened 3 years ago

tlringer commented 3 years ago

Could be interesting examples. Determine whether this fits into this framework and evaluate accordingly.