Skip to main content

Iterative Circular Coinduction for CoCasl in Isabelle/HOL

Book cover

No cover available.