Back to Results
First PageMeta Content
Mathematics / Automated theorem proving / Logic in computer science / Functional languages / Proof assistant / Coq / Natural deduction / Jape / Intuitionistic logic / Mathematical logic / Logic / Proof theory


Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al
Add to Reading List

Document Date: 2013-05-31 17:17:03

Open Document

File Size: 161,31 KB

Share Result on Facebook

City

Oxford / /

Company

Esprit / /

Country

Uruguay / /

Facility

Scrap Your Boilerplate library / Imperial College / /

IndustryTerm

research software / web applications / pre-existing academic software / deductive systems / preexistent research software / active research software / online learning / regarded systems / software reuse / http /

OperatingSystem

Macintosh / /

Organization

International Congress / Proof Lab / Imperial College / Stanford / /

Person

Krysia Broda / Richard Bornat / Schwartzentruber Strecker / Jiefei Ma / Bernard Sufrin / Jeremy Pitt / Ulle Endriss / Luis Sierra / Edward Z. Yang / Gabrielle Sinnadurai / Oliver Gasquet / Alexander Summers / Martin Strecker / /

Position

author / advisor / educational proof assistant / Proof General / textonly educational proof assistant / Gentzen Style Proof Assistant / CMU Proof Tutor / Proof Assistant / /

ProgrammingLanguage

Haskell / Tcl / Standard ML / Java / php / JavaScript / /

PublishedMedium

The Computer Journal / /

Technology

JSON / Java / API / existing generic algorithm / operating system / pdf / GUI / /

URL

http /

SocialTag