GitHub / jaycech3n / Isabelle-HoTT

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaycech3n%2FIsabelle-HoTT
PURL: pkg:github/jaycech3n/Isabelle-HoTT

Stars: 34
Forks: 3
Open issues: 2

License: other
Language: Standard ML
Size: 405 KB
Dependencies parsed at: Pending

Created at: about 7 years ago
Updated at: about 1 year ago
Pushed at: over 2 years ago
Last synced at: 4 months ago

Topics: homotopy-type-theory, interactive-theorem-proving, isabelle, type-theory

Loading...