Leonardo de Moura (@Leonard41111588)
@Leonard41111588
25 正在关注 7.4K 粉丝
Excitining News! Signal Shot is a public moonshot to verify the Signal protocol and its Rust implementation using Lean.
It is a joint effort of Signal (Rolfe Schmidt), the Beneficial AI Foundation (Max Tegmark), and the Lean FRO.
#leanprover# #leanlang#
显示更多
