Home Sign Up Sign In
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
V2EX  ›  蝉语
xieyuheng 「蝉语 / Cicada Language」一个新的 dependent type 语言！
  •  4   
    程序员  •  xieyuheng  •  Jan 16, 2022  •  Lastly replied by xieyuheng         		4
    xieyuheng 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言
  •  1   
    数学  •  xieyuheng  •  Jan 23, 2022  •  Lastly replied by xieyuheng         		18
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   5361 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 15ms · UTC 07:24 · PVG 15:24 · LAX 00:24 · JFK 03:24
    ♥ Do have faith in what you're doing.