Quick start
In this guide we’ll create a simple project and write a logical expression.
Welcome to Logic
The package implements first-order logic.
The package implements first-order logic.
In this guide we’ll create a simple project and write a logical expression.