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