4 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	558529aa60	quantifier added, started refactoring	2023-05-18 03:40:36 +02:00
Lorenzo Volpi	e9d62f1f2a	hp fix	2023-05-17 14:05:27 +02:00
Lorenzo Volpi	04a519a57d	added project structure	2023-05-17 14:04:11 +02:00
Lorenzo Volpi	d4a227816a	added project structure	2023-05-17 14:02:29 +02:00