https://github.com/merlin04/truthtabl.es

Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
https://github.com/merlin04/truthtabl.es

logic nextjs ohm proof proof-assistant symbolic-logic truth-table truth-table-generator truth-tables

Last synced: about 4 hours ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/merlin04/truthtabl.es
• Owner: Merlin04
• Created: 2021-10-14T15:53:10.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2023-12-17T08:12:30.000Z (11 months ago)
• Last Synced: 2023-12-18T05:51:24.084Z (11 months ago)
• Topics: logic, nextjs, ohm, proof, proof-assistant, symbolic-logic, truth-table, truth-table-generator, truth-tables
• Language: TypeScript
• Homepage: https://truthtabl.es
• Size: 252 KB
• Stars: 18
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# [TruthTables](https://truthtabl.es)

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