rzk-0.7.7: An experimental proof assistant for synthetic ∞-categories
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Rzk