pocket_prover-set 0.5.0

A base logical system for PocketProver to reason about set properties
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

extern crate pocket_prover;
extern crate pocket_prover_set;

use pocket_prover::*;
use pocket_prover_set::*;

fn main() {
    println!("Result {}", <(Set, Set)>::imply(
        |sets| and(imply(sets.0.uniq, sets.1.uniq), sets.0.uniq),
        |sets| sets.1.uniq
    ));
}