Previous: Sequence Logic, Up: Top


10 Interoperability

In addition to everything else Aris can do, Aris can also use other proofs from other systems with the lemma rule (see lm).