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