jwiegley/category-theory
@jwiegley個人的な学習と実務のための、Coqにおける公理を用いない圏論の形式化
スター
808
フォーク
83
言語
Rocq Prover
ライセンス
BSD-3-Clause
最終プッシュ
2 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
個人的な学習と実務のための、Coqにおける公理を用いない圏論の形式化
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。