This is my blog documenting my journey from pretty much zero to doing independent research in type theory, programming languages, and proof assistants. My end goal is to make contributions to the community including some of the large proof assistants, and ultimately contribute to unifying the ecosystem of proof assistants in some way.
aikoryu/blog
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|