GitHub / jvanbruegge / binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jvanbruegge%2Fbinder_datatypes
Stars: 4
Forks: 0
Open issues: 15
License: other
Language: Isabelle
Size: 31.7 MB
Dependencies parsed at: Pending
Created at: over 2 years ago
Updated at: 3 days ago
Pushed at: 3 days ago
Last synced at: 3 days ago
Topics: binders, hacktoberfest, isabelle
Loading...