Make explicit which hint databases to use with firstorder - Githubissues

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

Make explicit which hint databases to use with firstorder #30

Closed JasonGross closed 4 years ago

JasonGross commented 4 years ago

To adapt to a recent Coq PR