A lecture "Computer Proof Assistants - the future of mathematics" at NUS in Singapore