首页 注册 登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
广告
xieyuheng
V2EX  ›  数学

A formalization of Univalent Axiom

  •   
  •   xieyuheng · 2022-05-28 22:30:14 +08:00 · 1178 次点击
    这是一个创建于 904 天前的主题，其中的信息可能已经有所发展或是发生改变。

    https://readonly.link/manuals/cicada-lang/cicada/-/univalent/univalent-axiom.md

    目前尚无回复
    axiomunivalentformalizationof
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5500 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 05:45 · PVG 13:45 · LAX 21:45 · JFK 00:45
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.