jvanbruegge

jvanbruegge/binder_datatypes

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

6 stars 4 forks 6 watchers Isabelle Other
binders hacktoberfest isabelle
View on GitHub
6 Open Issues Need Help Last updated: Apr 22, 2026

Open Issues Need Help

View All on GitHub
Type given in the MRBNF command is not taken into account 24 days ago
bug help wanted good first issue usability
jvanbruegge/binder_datatypes
6

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

Isabelle
#binders#hacktoberfest#isabelle
Unexpected failure of binder_datatype declaration 24 days ago
bug help wanted area: sugar
jvanbruegge/binder_datatypes
6

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

Isabelle
#binders#hacktoberfest#isabelle
Automate renaming for codatatypes 10 months ago
help wanted usability area: codatatypes
jvanbruegge/binder_datatypes
6

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

Isabelle
#binders#hacktoberfest#isabelle
Automate the strong injection theorem 10 months ago
help wanted good first issue usability Priority: High area: mrbnf fixpoint
jvanbruegge/binder_datatypes
6

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

Isabelle
#binders#hacktoberfest#isabelle
Automate (strong) free variable induction 10 months ago
help wanted good first issue usability Priority: High area: mrbnf fixpoint
jvanbruegge/binder_datatypes
6

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

Isabelle
#binders#hacktoberfest#isabelle
Allow changing the names of the involved constants 10 months ago
good first issue usability
jvanbruegge/binder_datatypes
6

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

Isabelle
#binders#hacktoberfest#isabelle