Human written formal proof of Ado's theorem

このリポジトリでは、Adoの定理(標数0の時)を人力で証明します。 証明に関する部分は人力で書きますが、翻訳や、スクリプトはAIに任せる可能性があります。

証明は Terence Taoの証明を形式化しました。