Isabelle

higher-order logic (HOL) automated theorem prover

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

زمرے:

proof assistantfree software