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