10.1 Isar Interoperability

Aris will scan an Isar proof, which is a proof done using Isabelle, and look for certain keywords. This is still being tested, and doesn’t work fully yet. This section will be updated as more of this is implemented.