Isabelle

higher-order logic (HOL) automated theorem prover

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

카테고리:

proof assistantfree software