Source
Contents
Index
copilot-theorem-2.2.1: k-induction for Copilot.
Safe Haskell
Safe
Language
Haskell2010
Copilot.Theorem.Kind2