GitHub repository: Fancy11111/gapt
Description: GAPT: General Architecture for Proof Theory