Heyting algebra

ID: heyting-algebra

New to topics? Read the docs here!