New posts in Formalization

Formalizations of the idea that something is a function of something else?

Proofs shown to be wrong after formalization with proof assistant

Has anyone thought about creating a formal proof wiki with verifier?