SWAD-Europe notes

Success metrics

• How much inference is enough?
• Reuse?
• Codifying a proof-checker?