>＞機械での証明検証プログラムを作るのに１０年以上かかっています。
>その検証プログラムを検証するプログラムを20年くらいかけてつくってください。

お断りします。そんな作業に、私は価値を認めません。