proof-of-correctness - 码农岛

proof-of-correctness

该标签暂无描述

To prove SKK and II are beta equivalent, lambda ca

我只想做你的唯一·2020-10-04 08:44· 回答·问答

Is there a way to prove a program has no bug?

老娘就宠你·2019-04-29 14:16· 评论·文章

Is there a way to prove a program has no bug?

迷人小祖宗·2019-04-29 13:24·1 回答·问答

Proof assistant for mathematics only

乱世女痞·2019-03-20 17:39· 评论·文章

Proof assistant for mathematics only

在下西门庆·2019-03-20 17:06·1 回答·问答

Proof of correctness: Algorithm for diameter of a

老娘就宠你·2019-01-21 20:41· 评论·文章

Proof of correctness: Algorithm for diameter of a

The star\"·2019-01-21 20:40·3 回答·问答