search

uwplse / coq-plugin-lib

Library of useful utility functions for Coq plugins
MIT License
12 stars 5 forks source link

Favor econstr when possible instead of constantly converting #16

Open tlringer opened 5 years ago