diff options
| author | Landon D. C. Elkind | 2020-12-31 23:36:54 -0700 |
|---|---|---|
| committer | Landon D. C. Elkind | 2020-12-31 23:36:54 -0700 |
| commit | 9c7f098d123a3e32c25a20ffe0024690a55ebcd9 (patch) | |
| tree | 010b92b7f54a3a1b320986121a6578ecfdf7b2c4 /PL.pdf | |
| parent | 8ffd66a2271dc10340c9604bb1ae4345a265b36f (diff) | |
PL fully checked in Coq
Diffstat (limited to 'PL.pdf')
| -rw-r--r-- | PL.pdf | bin | 436840 -> 436367 bytes |
1 files changed, 0 insertions, 0 deletions
| Binary files differ |