logitext

logitext copied to clipboard

The site does not seem to explain what syntax Logitext expects, and the parse error message does not indicate what was wrong with the input.

jdonland

Feature Request: Support for intuitionistic and classical Linear Logic

2

I continue to love this tool, and would love to see support for linear logic. I'm happy to set up the Coq side of this, at least.

JasonGross

I was exploring whether I could have my discrete structures class use this for logic puzzles like knight and knaves. I'll have to look at the code after the semester,...

snoeyink

This is the classical version:  And this is the intuitionistic version: 

JasonGross

Strange behavior on Vacuous Quantification.

4

First off, thanks for the tool! I was playing around with logitext tonight and came across some strange behavior when unfolding a right implication introduction inference rule instance where the...

chaosape

Fix typo in meta-implication rule

2

goens