search

uwplse / coq-plugin-lib

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

Update docs #2

Closed tlringer closed 5 years ago