Updated 6 months ago
Updated 6 months ago
Adventures in AI-assisted proof generation
Updated 6 months ago
Updated 8 months ago
Updated 8 months ago
Updated 8 months ago
Updated 8 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
Updated 10 months ago
Updated 1 year ago
Some small examples of dependent types in TypeScript
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago