It brings to an end a mission that was supposed to last for just eight days.
后来哈萨比成立公司，考虑到要融资，要经营，他觉得苏莱曼在这方面能帮他。所以最早的三个联合创始人，就是他们三个。哈萨比斯占了绝对多数的股份，是肖恩·莱格的9倍，苏莱曼的14倍。
。PDF资料对此有专业解读
// drop-newest: Discard incoming data when full。业内人士推荐PDF资料作为进阶阅读
AcknowledgementsWe gratefully acknowledge the support of DARPA's expMath program. We are also grateful to all our collaborators from the Lean community, led by Chris Birkbeck, Sidharth Hariharan, Seewoo Lee, Bhavik Mehta and Maryna Viazovska, and acknowledge the invaluable support of Jeremy Avigad, Kevin Buzzard, David Loeffler, Gareth Ma, Pietro Monticone, the Mathlib maintainers and the Institute for Computer-Aided Reasoning in Mathematics.。业内人士推荐体育直播作为进阶阅读
0c - handshake message type 0x0c (server key exchange)