Yarrow
Edit Page
Report
Scan day: 17 February 2014 UTC
21
Virus safety - good
Description: A proof-assistant for Pure Type Systems (PTSs), representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is required. (This isomorphism says how you can interpret types as propositions.)
is a computer program with which a user can construct completely formal mathematical proofs in some kind of logical system. In contrast to a , a proof-assistant cannot find proofs on its own. Yarrow is a proof-assistant for
Size: 223 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Yarrow Home Page |
| Keywords: | |
| Description: | |
| IP-address: | 131.174.16.176 |