Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published May 13, 2022 | Version v4
Other Open

Lambda-barrier Coq mechanization

Creators

  • 1. Radboud University

Description

Lambda-barrier Coq mechanization. For the most recent version, see https://github.com/julesjacobs/cgraphs/tree/master/theories/lambdabar.

Files

lambdabar.zip

Files (536.7 kB)

Name Size Download all
md5:2773d605bf6abf67325281499f3c5224
536.7 kB Preview Download