GitHub repository: renatoleme/Poly
Primary language: Coq
Created: 2023-10-14T14:23:15Z
Description: Methods for the implementation of tableaux-like deductive systems in Coq.