![Mathematical logic / Mathematical proofs / Logical syntax / Deduction / Proof assistant / Natural deduction / Coq / Theorem / Automated proof checking / Logic / Mathematics / Proof theory Mathematical logic / Mathematical proofs / Logical syntax / Deduction / Proof assistant / Natural deduction / Coq / Theorem / Automated proof checking / Logic / Mathematics / Proof theory](https://www.pdfsearch.io/img/913e0cce9e001dd43189721fae04fbf6.jpg)
| Document Date: 2014-10-14 06:07:22 Open Document File Size: 317,31 KBShare Result on Facebook
Company FoCaLiZe / / Currency USD / / Event Bankruptcy / / IndustryTerm software engineering / decent developer / formal tools / software implementation / software specification / software component / software development / energy / francois.pessaux@ensta-paristech•fr WEB Page / / Organization Ecole Jeunes Chercheurs / / Position author / particular proof assistant / programmer / / ProgrammingLanguage LaTeX / ML / HTML / / Technology alpha / functional programming / http / HTML / / URL http /
SocialTag |