Foundations of a theorem prover for functional and mathematical uses | Publicación