与「leanprover」相关的搜索结果
leanprover 贴吧
一个关键词就是一个贴吧，路径全站唯一。
用户
未找到
包含 leanprover 的内容
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#
显示更多