There is a newer version of the record available.

Published May 13, 2022 | Version v2
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 (1.3 MB)

Name Size Download all
md5:c38de0d4154c73d596eb6358ce35cb7d
1.3 MB Preview Download