Theoremprovers and Microsap Development

Theory improvers have been around since the 19 sixties, 19 seventies. They were designed with two ideas in mind: verify mathematical proofs and check that computer code has no bugs. Microsopt developed a prototype of one by 20 14 but it wasn't widely used until about 18 months later. The software was written using lean programming language which is very different to other systems such as theoremprovers.