Deductive
Welcome to the Deductive Documentation!
As of now these docs are mainly for advanced users, as many of the user-facing features are not ready for release yet. Take a look at Deductive's README for a basic introduction to the stable front-facing user features.
Installation
Open up a Julia REPL, press the character ]
to enter package manager mode, and type the following command:
pkg> add Deductive
Basic Usage
The best way to get accustomed to the syntax of Deductive is to start with Propositional Logic.