There is a newer version of the record available.

Published May 13, 2022 | Version v1
Other Open

Lambda-barrier Coq mechanization

Authors/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 (709.1 kB)

Name Size Download all
md5:558386ecdd1a3dac9503b1ca64315b3a
709.1 kB Preview Download