GitHub repository: p-ndr/cpl
Primary language: Coq
Created: 2023-10-20T15:36:03Z
Description: An implementation of natural deduction for Classical Propositional Logic.