New posts in Formal Proof

What exactly is a judgement?

How much of the ATLAS of finite groups is independently checked and/or computer verified?

How true are theorems proved by Coq?