All Questions

Is there a formalisation of Bourbaki, General Topology book, particularly its first chapter? Are there formal proofs of elementary topology arguments such as a Hausdorff compact space is ...