но наверное прикольно логику простую написать типа с типами, потом написать пруф в более высокий код и он сам заполнит это простой логикой заюзав твои пруфы и если чет по ним не сходица он скажет шо ты пидар
но наверное прикольно логику простую написать типа с типами, потом написать пруф в более высокий код и он сам заполнит это простой логикой заюзав твои пруфы и если чет по ним не сходица он скажет шо ты пидар
но наверное прикольно логику простую написать типа с типами, потом написать пруф в более высокий код и он сам заполнит это простой логикой заюзав твои пруфы и если чет по ним не сходица он скажет шо ты пидар