
Truth Table Generator WebApp Written in Common Lisp - lerax
https://logic.lerax.me
======
laszlokorte
I like the way you have equivalences and inferences defined as functions expr
-> expr. But it seems those are not exposed via the user interface, or am I
missing something?

Related: A few years ago I wrote a propositional logic parser in Dart [1]
using a custom shunting yard parser and later as part of my bachelors thesis
[2] another one [2] in javascript using PegJS.

[1]
[https://static.laszlokorte.de/logik/](https://static.laszlokorte.de/logik/)
(source: [https://github.com/laszlokorte/dart-
logic](https://github.com/laszlokorte/dart-logic))

[2] [https://thesis.laszlokorte.de](https://thesis.laszlokorte.de)

[3] [https://thesis.laszlokorte.de/demo/logic-
editor.html](https://thesis.laszlokorte.de/demo/logic-editor.html)

~~~
lerax
Yes, it's not exposed because this is a WIP project. My final mission would be
have a function called prove that will try N inference and equivalence rules
to prove a conclusion given a set of premisses.
[https://github.com/ryukinix/lisp-
inference/issues/2](https://github.com/ryukinix/lisp-inference/issues/2)

BTW, Cool project written in Dart!!! I'll take as reference. Thanks for the
feedback.

The UX of [3] it's awesome too!

------
kazinator
[https://stackoverflow.com/a/34377302/1250772](https://stackoverflow.com/a/34377302/1250772)

~~~
lerax
Cool :) but for me is more fun to write than to use.

