Cubical-mini

Nonstandard library for Cubical Agda

Project website

The package has no detailed description

unstable

channel

0.5-unstable-2025-06-13

version

agdaPackages

set

Yes

supported

No

broken

Free

license

46

platforms

Other applications from the agdaPackages set