Z3 theorem prover и вывод типов

От:	VladD2	www.nemerle.org
Дата:	01.10.10 21:25
Оценка:

На всякий случай даю ссылку на тему которую я создал в Философии:
http://rsdn.ru/forum/philosophy/3981428.1.aspx

Может кто-то кто нам нужен читает этот форум, и не читает философию.

Есть логика намерений и логика обстоятельств, последняя всегда сильнее.

Переместить
Удалить
Выделить ветку

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: