| ▲ | igravious a day ago | |
i'm doing the same thing but for type theory | ||
| ▲ | potsandpans 15 hours ago | parent [-] | |
This is very interesting to me. Care to share your process? | ||
| ▲ | igravious a day ago | |
i'm doing the same thing but for type theory | ||
| ▲ | potsandpans 15 hours ago | parent [-] | |
This is very interesting to me. Care to share your process? | ||