litex-lang 0.9.6-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

// use crate::specific_fact::SpecFact;
// use crate::or_fact::OrFact;

// pub enum ReversibleFact {
//     SpecFact(Box<SpecFact>),
//     OrFact(Box<OrFact>),
// }

// // impl ReversibleFact {
// //     pub fn box_spec_fact(fact: Box<SpecFact>) -> Box<ReversibleFact> {
// //         Box::new(ReversibleFact::SpecFact(fact))
// //     }
// //     pub fn box_or_fact(fact: Box<OrFact>) -> Box<ReversibleFact> {
// //         Box::new(ReversibleFact::OrFact(fact))
// //     }
// // }