search

TENX-S / blog_comment

0 stars 0 forks source link

Collatz 猜想的机器化验证及其优化 | Ares Andrew #1

Open utterances-bot opened 2 years ago

utterances-bot commented 2 years ago

Collatz 猜想的机器化验证及其优化 | Ares Andrew

Mechanized verification of the Collatz conjecture by rust

http://localhost:1313/tech/2021-09/collatz-%E7%8C%9C%E6%83%B3%E7%9A%84%E6%9C%BA%E5%99%A8%E5%8C%96%E9%AA%8C%E8%AF%81%E5%8F%8A%E5%85%B6%E4%BC%98%E5%8C%96/

TENX-S commented 2 years ago

可以考虑写个 C++ 版本的对比一下