4 ms·Don't waste time on looking at it unless a formal proof checker can verify it.by Hizonner 2y agoDon't waste time on looking at it unless a formal proof checker can verify it.