Welcome

Learn More Writings

Learn More
Writings

paper

2021

Reasoning with the HERMIT: Tool support for equational reasoning on GHC Core programs Feb 1

© 2022 Faustin Date · CC BY-NC 4.0

Made with Hugo · Theme Hermit ·