4 Commits

Author	SHA1	Message	Date
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