Updated 6 months ago

Updated 6 months ago

Adventures in AI-assisted proof generation

Updated 6 months ago

Updated 8 months ago

Updated 10 months ago

Updated 10 months ago

Musings on Generalized Commutative Data Types

Updated 10 months ago

Updated 10 months ago

Updated 10 months ago

Updated 10 months ago

Updated 10 months ago

Some small examples of dependent types in TypeScript

Updated 1 year ago

Updated 1 year ago