Isabelle

higher-order logic (HOL) automated theorem prover

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

دسته بندی ها:

proof assistantfree software