theorem-prover-0.1.1
- theorem-prover 0.1.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- crates.io
- Source
- Owners
- jchenche
- Dependencies
- clap ^4.4.8 normal
  derivative ^2.2.0 normal
  log ^0.4.20 normal
  log4rs ^1.2.0 normal
  pest ^2.7.5 normal
  pest_derive ^2.7.5 normal
- Versions
- 4.17% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Forall

theorem_prover0.1.1

Macro Forall

macro_rules! Forall {
    ($var:expr, $subformula:expr) => { ... };
}