Repository Issues

clarus/UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

GitHub で見る
Stars
 (0 stars)
Forks
 (0 forks)
Indexed issues
 (0 indexed issues)
open beginner issues
 (0 open beginner issues)
最終索引
まだ索引されていません
最終 GitHub push
2016年1月31日
ライセンス
ライセンスデータはありません
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Coq
PR merge metrics
 (PR metrics pending)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

0 open indexed issues

RSSAtom

このリポジトリには open の索引済み Issue がありません。