Open Issues Need Help
View All on GitHub Type given in the MRBNF command is not taken into account about 2 months ago
bug help wanted good first issue usability
jvanbruegge/binder_datatypes jvanbruegge/binder_datatypes A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Open project →
6
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Isabelle
#binders#hacktoberfest#isabelle
Unexpected failure of binder_datatype declaration about 2 months ago
bug help wanted area: sugar
jvanbruegge/binder_datatypes jvanbruegge/binder_datatypes A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Open project →
6
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Isabelle
#binders#hacktoberfest#isabelle
Automate renaming for codatatypes 11 months ago
help wanted usability area: codatatypes
jvanbruegge/binder_datatypes jvanbruegge/binder_datatypes A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Open project →
6
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Isabelle
#binders#hacktoberfest#isabelle
Automate the strong injection theorem 11 months ago
help wanted good first issue usability Priority: High area: mrbnf fixpoint
jvanbruegge/binder_datatypes jvanbruegge/binder_datatypes A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Open project →
6
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Isabelle
#binders#hacktoberfest#isabelle
Automate (strong) free variable induction 11 months ago
help wanted good first issue usability Priority: High area: mrbnf fixpoint
jvanbruegge/binder_datatypes jvanbruegge/binder_datatypes A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Open project →
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 11 months ago
good first issue usability
jvanbruegge/binder_datatypes jvanbruegge/binder_datatypes A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Open project →
6
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Isabelle
#binders#hacktoberfest#isabelle