Cubical Agda Library is a standard library for Cubical Agda that provides a comprehensive collection...

Tokens:54,773
Snippets:710
Trust Score:8.6
License:MIT
Update:7 hours ago
Tokens:
Raw