Update Outputs in readme to account for the 'every' predicate-quantifier#247
Open
hintron wants to merge 1 commit intodorny:masterfrom
Open
Update Outputs in readme to account for the 'every' predicate-quantifier#247hintron wants to merge 1 commit intodorny:masterfrom
hintron wants to merge 1 commit intodorny:masterfrom
