propositionalLogic
A library for (standard) propositional logic
Summary
| Latest Version | Unknown |
|---|---|
| License | MIT |
| CI Status | Failing |
| Downloads | 0 |
| Last Indexed | 2026-07-24 13:03 |
Tags
Installation
nimble install propositionalLogic
choosenim install propositionalLogic
git clone https://github.com/Azumabashi/nim-propositional-logic/
OS Compatibility
| Platform | Linux | macOS | Windows | FreeBSD | OpenBSD | NetBSD | Android | iOS | WASM | Embedded |
|---|---|---|---|---|---|---|---|---|---|---|
| propositionalLogic | ✓ | ✓ | ✓ | - | - | - | - | - | - | - |
Source
| Repository | https://github.com/Azumabashi/nim-propositional-logic/ |
|---|---|
| Homepage | https://github.com/Azumabashi/nim-propositional-logic/ |
| Registry Source | nimble_official |
README
nim-propositional-logic
Propositional logic library for Nim.
Installation
nimble install propositionalLogic
Usage
You can refer the documentation of this libary here.
Note that only the docs of the latest version of this library is available online.
For uses need to read docs for older versions of this library, download source code
from releases and
build with nimble by yourself.
Also, test programs could be additional examples of how to use this library.
License
MIT