litex-lang 0.9.69-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

mod atomic_fact;
mod chain_fact_order_closure;
mod exist_fact;
mod fact_inside_forall;
mod forall_fact;
mod forall_fact_with_iff;
mod mark_forall_param_coverage;
mod matchable_fact_with_atomic_fact_inside;
mod or_and_chain_atomic_fact;
mod or_fact;
pub use atomic_fact::*;
pub use exist_fact::{ExistFactBody, ExistFactEnum};
pub use forall_fact::ForallFact;
pub use forall_fact_with_iff::ForallFactWithIff;
pub use matchable_fact_with_atomic_fact_inside::{
    AndChainAtomicFact, AndFact, ChainAtomicFact, ChainFact,
};
pub use or_and_chain_atomic_fact::OrAndChainAtomicFact;
pub use or_fact::OrFact;

pub use fact::Fact;
mod fact;
pub use fact_inside_forall::ExistOrAndChainAtomicFact;