1. 标签
  2. proof-of-correctness
  3. 标签动态

该标签暂无描述

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 13:24·1 回答·问答

Proof assistant for mathematics only

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

Proof of correctness: Algorithm for diameter of a

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

相关标签