A small project which will take a series of premises and a conclusion in formal logic notation and verify them against every truth assignment. Available online at github.io. Written in TypeScript, licensed under 2 clause BSD.
XavierCooney/logic
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|