um-catlab/cubical-categorical-logic

Stars

⭐ 41

PRs Reviewed

3

Bot Comments

10

Primary Language

Agda

Merge Rate

100.0%

Avg Time to Merge

3d

Avg Additions

+408

Avg Deletions

-94

Avg Files Changed

9