Media type: E-Article; Text Title: Defining Corecursive Functions in Coq Using Approximations (Artifact) Contributor: Rusu, Vlad [Author]; Nowak, David [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 Language: English DOI: https://doi.org/10.4230/DARTS.8.2.2 Keywords: productiveness ; corecursive function ; approximation ; Coq proof assistant Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: This is the formalization in the Coq proof assistant of the related conference article shown below. Access State: Open Access