ImperialCollegeLondon/FLT
@ImperialCollegeLondonフェルマーの最終定理の証明の Lean による継続的な形式化
スター
1,023
フォーク
167
言語
Lean
ライセンス
Apache-2.0
最終プッシュ
3 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
フェルマーの最終定理の証明の Lean による継続的な形式化
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。