ptq. An implementation of Montague's PTQ (Proper Treatment of Quantification).

github.com/msakai/ptq

Problem

Audience

Updates

No founder updates yet. Check back soon.