coinduction相关问题列表-coinduction - 码农岛

该标签暂无描述

Compute an (infinite) tree from fixpoint operator

唯我独甜·2020-06-23 06:15·2 回答·问答

Is an infinite list of ones sane?

可以哭但决不认输i·2019-06-17 05:16·3 回答·问答

Proving equality on coinductive lazy lists in Coq

仙女界的扛把子·2019-05-22 12:13·2 回答·问答