Up: Interoperability


10.1 Isar Interoperability

Aris will scan an Isar proof, which is a proof done using Isabelle, and look for certain keywords.