The aim of formal topology is to develop topology in a constructive
framework where the adjective "constructive" is meant to imply both
intuitionistic and predicative.
Present works in formal topology consider both the proof of classical topological results within a constructive approach and the development of completely new topological concepts that arise from a non-classical approach.