Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell.

Lykourgos Mastorou Nikolaos Papaspyrou Niki Vazou

Published in: Haskell (2022)

Keyphrases

programming language
theorem proving
functional programming
formal proofs
mathematical model
theorem prover
functional language
equational theories
boundary conditions
computer programs
plagiarism detection
formal proof
mathematical proofs
data sets
evolutionary algorithm
search algorithm
knowledge base