Updated 1 year ago
Updated 1 year ago
Adventures in AI-assisted proof generation
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Musings on Generalized Commutative Data Types
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Updated 2 years ago
Some small examples of dependent types in TypeScript
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago