google-deepmind/formal-conjectures
@google-deepmindLeanにおける予想の形式化されたステートメントのコレクション。
スター
1,220
フォーク
438
言語
Lean
ライセンス
Apache-2.0
最終プッシュ
5 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。