Show HN: TypeScript as a proof assistant for intuitionistic propositional logic https://ift.tt/4yjr1LG March 31, 2025 at 11:22PM
Show HN: TypeScript as a proof assistant for intuitionistic propositional logic https://ift.tt/i8wOxQH
Related Articles
Show HN: S3HyperSync – Faster S3 sync tool – iterating with up to 100k files/s https://ift.tt/mZ7VvWt
Show HN: I coded my own JSON translation tool to easily localize my side project https://ift.tt/QHcFI0n
Show HN: Foorr – A minimal to-do app with social accountability https://ift.tt/XbDzdC6
Show HN: WAL Implementation in Golang https://ift.tt/Sr5utli
Show HN: A complete AdonisJS boilerplate to help TS developers https://ift.tt/UYLXnTE
Show HN: MetaShunt – high dynamic range current measurement development tool https://ift.tt/y40oCgH
Show HN: Hi.Events – Open-Source Event Management and Ticketing Platform https://ift.tt/W4ZTvgG
Show HN: Imageprompt.io – AI-powered and human-curated artworks, logos, photos https://ift.tt/6yRIt9A
0 Comments: