Truth Table Generator WebApp Written in Common Lisp

logic.lerax.me

5 pointslerax4 comments

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/ (source: https://github.com/laszlokorte/dart-logic)

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

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

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

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

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

https://stackoverflow.com/a/34377302/1250772

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

Reply on news.ycombinator.com