5 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	cff0a35bbb	gitignore updated	2024-04-11 12:14:43 +02:00
Lorenzo Volpi	8a7d64cc20	Typing fixed, gitignore updated	2024-04-11 12:14:43 +02:00
Lorenzo Volpi	51831d2180	Binary quantifier added, support added and tested.	2024-04-11 12:14:16 +02:00
Lorenzo Volpi	32bfe061c2	added project structure	2024-04-11 12:14:16 +02:00
Lorenzo Volpi	fb90e82683	first test on quantification for accuracy	2024-04-11 12:10:46 +02:00