implies-0.4.5
- implies 0.4.5
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- armaan-rashid
- Dependencies
- cascade ^1.0.1 normal
  
  enum-iterator ^1.5.0 normal
  
  pyo3 ^0.19.2 normal optional
  
  pyo3-build-config ^0.20.0 build optional
- Versions
- 50.43% of the crate is documented
Platform
Feature flags

docs.rs

Rust

implies0.4.5

In crate implies

Module modal

Expand description

A preimplemented specification of modal logic. Hopefully the brevity of this page shows just how easy it is to use Formula for your own logic.