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