Permalink Submitted by duybao20 on September 27, 2019

According to Godel and other story in the 20th about formal mathematics, it's is maybe impossible for a computer to proof a theorem, but here computer just need to check what had been proven. What a wonderful idea, hope it will become true.

## Great idea !

According to Godel and other story in the 20th about formal mathematics, it's is maybe impossible for a computer to proof a theorem, but here computer just need to check what had been proven. What a wonderful idea, hope it will become true.