Date: 2011-11-29 11:12 am (UTC)
From: [identity profile] si14.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. 14th, 2025 06:00 pm
Powered by Dreamwidth Studios