Many-sorted logic

ID: many-sorted-logic

New to topics? Read the docs here!