coinduction - 码农岛

该标签暂无描述

Compute an (infinite) tree from fixpoint operator

神经病院院长·2020-06-23 06:48· 评论·文章

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 回答·问答

Is an infinite list of ones sane?

狗以群分·2019-06-17 05:12· 评论·文章

Proving equality on coinductive lazy lists in Coq

贼婆χ·2019-05-22 12:18· 评论·文章

Proving equality on coinductive lazy lists in Coq

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