Buy Me a Coffee at ko-fi.com

Isabelle

higher-order logic (HOL) automated theorem prover

Pronunciation
/ˈɪzəˌbɛl/