Sign inSign up

agda/cubical

An experimental library for Cubical Agda

AgdaStars 520Forks 156Watchers 520Open issues 118License Other
Details
仓库信息
Owneragda
Homepagehttps://agda.github.io/cubical/Cubical.Everything.html
GitHubhttps://github.com/agda/cubical
Last pushed2025-11-26
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--