Super Blog

《形式化方法》笔记

Posted on 2021-06-22 Symbols count in article: 41 Reading time ≈ 1 mins.

Formal Specification Using Z by David Lightfoot

Posted on 2021-06-11 Symbols count in article: 12k Reading time ≈ 11 mins.

宣言

Posted on 2021-06-09 Edited on 2021-07-28 Symbols count in article: 2.8k Reading time ≈ 3 mins.

创新还是挤牙膏，这是一个问题。

Posted on 2021-05-30 Edited on 2021-05-31 Symbols count in article: 10k Reading time ≈ 9 mins.

Primary Practice h62

Posted on 2021-05-22 Edited on 2021-05-31 Symbols count in article: 2k Reading time ≈ 2 mins.

Primary Practice h61

Posted on 2021-05-22 Symbols count in article: 1.3k Reading time ≈ 1 mins.

算是第一次写的一个小工具吧。

Posted on 2021-05-22 Symbols count in article: 4.3k Reading time ≈ 4 mins.

Primary Practice h60

Posted on 2021-05-06 Edited on 2021-05-13 Symbols count in article: 5.4k Reading time ≈ 5 mins.

Primary Practice h59

Posted on 2021-05-06 Edited on 2021-05-12 Symbols count in article: 7.1k Reading time ≈ 6 mins.

Primary Practice h58

Posted on 2021-05-06 Edited on 2021-05-12 Symbols count in article: 658 Reading time ≈ 1 mins.

Primary Practice h57