Foundations release_yatuz32vondo3eburgtj6jmp6e

by Jeremy Avigad

Released as a article .

2021  

Abstract

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
In text/plain format

Archived Files and Locations

application/pdf  449.0 kB
file_deusyh6h4vcbjo4qmlnbo6u2ii
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2021-08-30
Version   v4
Language   en ?
arXiv  2009.09541v4
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 20702104-95b7-4593-8c7d-cc36267f4606
API URL: JSON