首页 注册 登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  蝉语
xieyuheng 「蝉语 / Cicada Language」一个新的 dependent type 语言！
  •  4   
    程序员  •  xieyuheng  •  2022 年 1 月 16 日  •  最后回复来自 xieyuheng         		4
    xieyuheng 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言
  •  1   
    数学  •  xieyuheng  •  2022 年 1 月 23 日  •  最后回复来自 xieyuheng         		18
    关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   2738 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 10ms · UTC 15:12 · PVG 23:12 · LAX 08:12 · JFK 11:12
    ♥ Do have faith in what you're doing.