Isabelle proof assistant

1. REDIRECT Isabelle (proof assistant)

{{R from modification}}