1 paper · 1 filter
Clarence Lewis Protin
PyLog is a minimal experimental proof assistant based on linearised natural deduction for intuitionistic and classical first-order logic extended with a comprehension operator. PyL…