Date: 2011-11-29 04:53 pm (UTC)
From: [identity profile] diam-2003.livejournal.com
Agda может всё, для чего можно выписать алгоритм доказательства. В этом смысле она мощнее ATS. Есть ли там в библиотеках что-то кроме классики (Пресбургер, "хорошие" временные логики, политопы, ...) - не знаю.
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

thedeemon: (Default)
Dmitry Popov

May 2025

S M T W T F S
    123
45678910
11 121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 13th, 2025 12:27 pm
Powered by Dreamwidth Studios