Skip to content

jvanbruegge/binder_datatypes

Error
Looks like something went wrong!

About

A new foundational package for Isabelle/HOL that implements binding-aware datatypes

Topics

Resources

License

Stars

Watchers

Forks

Contributors 5