Home Sign Up Sign In
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
Advertisement
xieyuheng
V2EX  ›  数学

A formalization of Univalent Axiom

  •   
  •   xieyuheng · May 28, 2022 · 1795 views
    This topic created in 1435 days ago, the information mentioned may be changed or developed.

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

    No Comments Yet
    axiomunivalentformalizationof
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   2654 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 32ms · UTC 14:30 · PVG 22:30 · LAX 07:30 · JFK 10:30
    ♥ Do have faith in what you're doing.