Previous: , Up: Top   [Contents]


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).