A formalization of Univalent Axiom - V2EX

首页注册登录

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 920 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

目前尚无回复

axiom univalent formalization of

关于 · 帮助文档 · 博客 · API · FAQ · 实用小工具 · 1391 人在线 最高记录 6679 ·

Select Language

创意工作者们的社区

World is powered by solitude

VERSION: 3.9.8.5 · 28ms · UTC 17:38 · PVG 01:38 · LAX 09:38 · JFK 12:38
Developed with CodeLauncher
♥ Do have faith in what you're doing.