Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics

Project: Award Project

Search results