Similar repositories to uds-psl/second-order-logic: