Web-App on Lars Husted Vadgaardhttps://husted.io/tags/web-app/Recent content in Web-App on Lars Husted VadgaardHugoen-us2023 - 2026 Lars Husted VadgaardThu, 21 May 2026 00:00:00 +0000Sequent: A Fitch-Style First-Order Logic Proof Languagehttps://husted.io/archive/sequent/Thu, 21 May 2026 00:00:00 +0000https://husted.io/archive/sequent/A walkthrough of my small proof language and web app for teaching Fitch-style natural deduction, with custom rules, proof rendering, and clickable diagnostics.