ProvSQL exposes its functionality through SQL functions defined in the provsql schema. All functions are accessible after loading the extension and setting the search path:

SET search_path TO public, provsql;

See the Topics page for function groups organized by topic, or the provsql schema for a complete flat listing.