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   ·   Solana   ·   2890 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 11ms · UTC 13:13 · PVG 21:13 · LAX 06:13 · JFK 09:13
    ♥ Do have faith in what you're doing.