MetaRocq/metarocq
@MetaRocqRocq におけるメタプログラミング、検証済みメタ理論、および Rocq の実装
スター
550
フォーク
99
言語
Rocq Prover
ライセンス
MIT
最終プッシュ
3 週間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
Rocq におけるメタプログラミング、検証済みメタ理論、および Rocq の実装
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。