Isabelle

higher-order logic (HOL) automated theorem prover

en-GB/ɪzəbɛl/
en-US/ˈɪzəˌbɛl/

Categorias:

proof assistantfree software