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