AndrasKovacs/smalltt
@AndrasKovacs高パフォーマンスな型理論エルラボレーションのデモ
スター
600
フォーク
29
言語
Lean
ライセンス
MIT
最終プッシュ
7 か月前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
高パフォーマンスな型理論エルラボレーションのデモ
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。