Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
nextjs
proof
logic
proof-assistant
ohm
truth-tables
truth-table
truth-table-generator
symbolic-logic
-
Updated
Dec 17, 2023 - TypeScript