GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → mathink → Cat_on_Coq

mathink / Cat_on_Coq

Licence: other
Setoid-based Category Theory in Coq.

Programming Languages

HTML
75241 projects
Coq
218 projects

Setoid-based Constructive Category Theory in Coq

概要

Setoid をベースにして圏や関連する概念の定義と証明をしていこうという個人プロジェクトです。 Universe Polymorphism を利用しています。

用法

git clone https://github.com/mathink/Cat_on_Coq.git COC
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].