模型可视化>> the-pigeonhole-principle>> 返回
项目作者： jonaprieto

项目描述 ：
A formalisation of the pigeon theorem in UTT.
高级语言： TeX
项目地址: git://github.com/jonaprieto/the-pigeonhole-principle.git
创建时间： 2019-10-02T09:14:27Z
项目社区：https://github.com/jonaprieto/the-pigeonhole-principle
开源协议：MIT License
下载


The Pigeonhole principle

A formalisation of the pigeon theorem in UTT.