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: Gridtalk - Leave comments anywhere on Earth (Flask + MapTiler) https://ift.tt/4U7DF0r
Show HN: Agentic AI coding tool that's easy to use, transparent and customizable https://ift.tt/DLg81Tk
Show HN: I made a small platform to collect feedback https://ift.tt/guAIcEs
Show HN: I built a tool to stop chasing users for feedback and screenshots https://ift.tt/jU7v61C
Show HN: I Wrote a Book on Java https://ift.tt/Q1CZHwB
Show HN: Hoodmaps Meets 4chan https://ift.tt/dsTegwo
Show HN: I built a tool that helps with user onboarding and app understanding https://ift.tt/eNdtVj5
Show HN: GitHub Repo Visualizer Using D3 https://ift.tt/q1h4w27
0 Comments: