Proofs about Image Denotations including drawings via raylean.
This work is inspired by Functional Images - Conal Elliott
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Proofs about Image Denotations including drawings via raylean.
This work is inspired by Functional Images - Conal Elliott