1 paper · 2 filters
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…