New posts in Computer Assisted Proofs

Unsolved Problems due to Lack of Computational Power

Why is there not a system for computer checking mathematical proofs yet (2018)?

What is the current state of formalized mathematics?