Add a counting operator

ProjetPP / Documentation

Documentation and protocol specification of the Projet Pensées Profondes

Creative Commons Zero v1.0 Universal

7 stars 1 forks source link

Open yhamoudi opened 9 years ago

yhamoudi commented 9 years ago

I think a counting operator (like Exists) is necessary for such examples:

Ezibenroc commented 9 years ago

:+1: