Isabelle (theorem prover)

1. REDIRECT Isabelle (proof assistant)

{{r from other disambiguation}}