3 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	469dcb5898	binary quantifier completed, tests added. errors updated.	2023-07-27 03:16:41 +02:00
Lorenzo Volpi	1347ac3c9d	Binary quantifier added, support added and tested.	2023-07-26 00:38:23 +02:00
Lorenzo Volpi	d4a227816a	added project structure	2023-05-17 14:02:29 +02:00