Back to Results
First PageMeta Content
Type theory / Mathematical logic / QED manifesto / Proof theory / Mizar system / Proof assistant / Mathematical proof / Constructivism / Setoid / Mathematics / Logic / Formal methods


Document Date: 2010-03-05 21:10:35

Open Document

File Size: 167,69 KB

Share Result on Facebook

City

Paris / /

Company

Coq / Microsoft / /

Country

Netherlands / /

Event

M&A / /

Facility

QED Manifesto Revisited Freek Wiedijk Institute / Mizar Mathematical Library / /

IndustryTerm

carrier type / proof assistant technology / given carrier type / Computer algebra systems / carrier types / /

OperatingSystem

Unix / /

Organization

Freek Wiedijk Institute for Computing and Information Sciences Radboud University Nijmegen Toernooiveld / /

Person

Donald Knuth / Bob Solovay / John Harrison / Bob Boyer / Georges Gonthier / Peter Aczel / /

/

Position

art proof assistant / author / proof assistant / assistant / /

ProgrammingLanguage

Mathematica / /

Technology

Unix / using proof assistant technology / /

URL

http /

SocialTag