GitHub repository: spector-in-london/ripp
Description: Argument systems for inner pairing products