## NotionProof - The Notion of Mathematical ProofParticipating entity: Declarativa. Funding entity: Fundação Ciência e Tecnologia (MCTES). Reference: PTDC/MHCFIL/5363/2012 Funding: 71.690,00. Principal researchers: Reinhard Kahle, Researcher: Jesse Alama. Funding: 71.690,00. |
||

Departamento de Informática, FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541 |