Up: Interoperability


8.1 Isar Interoperability

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