Defining corecursive functions in Coq using approximations rusu 2022/02/24 2022/02/24 Continue reading