GitHub repository: FMFI-UK-1-AIN-412/resolution-editor
Primary language: JavaScript
Created: 2020-07-16T19:52:46Z
Description: An editor of first-order resolution proofs (refutations)