[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"KzFN64DrNQ":3},"# Human written formal proof of Ado's theorem\n\nこのリポジトリでは、Adoの定理(標数0の時)を人力で証明します。\n証明に関する部分は人力で書きますが、翻訳や、スクリプトはAIに任せる可能性があります。\n\n証明は [Terence Taoの証明](https://terrytao.wordpress.com/2011/05/10/ados-theorem/)を形式化しました。\n",1791085032963]