Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
Primary LanguageTypeScript