From 47207894bda7f106ef685fe19738ae3d27f27041 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 3 Jul 2015 21:27:40 +0200 Subject: html+php wrapper --- index.html | 80 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100644 index.html (limited to 'index.html') diff --git a/index.html b/index.html new file mode 100644 index 0000000..ef717e5 --- /dev/null +++ b/index.html @@ -0,0 +1,80 @@ + + + + + + + CleanLogic + + + + + +
+

CleanLogic

+

Logic toolbox in Clean

+

Copyright © 2015 Camil Staps. This project is licensed under the MIT license. For more details, see the LICENSE file.

+

This project is maintained on GitHub. For more information, see the readme file.

+ +
+ +
+
+

Expressions

+

Enter expressions here, one per line:

+ + Legend
+
+ + + + + + + +
NameNormallyHere
Negation¬~
Conjunction∧&
Disjunction∨|
Implication→->
Equivalence↔<->
+
+
+ +
+
+

Truth table

+

Truth tables are generated with a server-side Clean program.

+ +
+
+
+ + + + + + -- cgit v1.2.3