Isabelle

higher-order logic (HOL) automated theorem prover

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

श्रेणियाँ:

proof assistantfree software