anthropics / anthropics/fermats-last-theorem
Please publish the HTML pages so that they can be browsed directly online.
オープン
- 主要言語
- Lean
- スター
- 1.1k
- フォーク
- 95
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
If you have not already enabled this, please publish the HTML pages so that they can be browsed directly online without cloning this repo. And then please add a link to this site in the README.md.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。