A Case Study of Co-induction in Isabelle HOL (1993)

by Jacob Frost
Citations:5 - 1 self