GitHub repository: AlexRogalskiy/truthtabl.es
Description: Truth table generator, (incomplete) proof builder, and more, built with Next.js and Ohm