Back to Results
First PageMeta Content
Mathematical logic / Mathematical proofs / Logical syntax / Deduction / Proof assistant / Natural deduction / Coq / Theorem / Automated proof checking / Logic / Mathematics / Proof theory


´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe
Add to Reading List

Document Date: 2014-10-14 06:07:22

Open Document

File Size: 317,31 KB

Share 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