rocq-community/rocq-tricks
@rocq-communityCoqのマニュアルに載っていればよかったと思うテクニック [maintainer=@tchajed]
スター
552
フォーク
25
言語
Coq
ライセンス
MIT
最終プッシュ
1 年前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
Coqのマニュアルに載っていればよかったと思うテクニック [maintainer=@tchajed]
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。