Proofs about Image Denotations including drawings via raylean.
This work is inspired by Functional Images - Conal Elliott
funexists/image-denotation
Folders and files
| Name | Name | Last commit date | |
|---|---|---|---|
| Name | Name | Last commit date | |
|---|---|---|---|
Proofs about Image Denotations including drawings via raylean.
This work is inspired by Functional Images - Conal Elliott