GitHub repository: JARVIS-AI/truthtabl.es
Description: Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm