7 Commits

Author	SHA1	Message	Date
Boyan	c09b029e90	removed redundant	2025-03-13 19:45:14 +01:00
Boyan	82296adba1	Updated main readme with ideas	2025-03-13 19:44:22 +01:00
Boyan	ab3c6ed53a	Update main readme	2025-03-13 19:36:11 +01:00
Boyan	2828b36251	added coq	2025-03-13 15:02:40 +01:00
Boyan	063a474852	added coq	2025-03-13 15:02:20 +01:00
Boyan	2bdf142d39	Added README	2025-02-03 19:08:33 +01:00
boyan_k	88bdc90a20	Initial commit	2025-02-03 18:59:18 +01:00