GitHub / L-TChen / FiniteSets

Fintie Sets in Cubical Agda

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/L-TChen%2FFiniteSets
PURL: pkg:github/L-TChen/FiniteSets

Stars: 12
Forks: 0
Open issues: 0

License: None
Language: Agda
Size: 69.3 KB
Dependencies parsed at: Pending

Created at: over 6 years ago
Updated at: about 4 years ago
Pushed at: almost 6 years ago
Last synced at: 4 months ago

Topics: agda, agda-library, cubical-type-theory, homotopy-type-theory

Loading...