Published May 13, 2022
| Version v2
Other
Open
Lambda-barrier Coq mechanization
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 |