If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org
no subject
Date: 2010-03-24 03:50 am (UTC)Очень мало кто способен освоить Coq или Agda, и еще меньше тех, кто может что-то практически полезное на них сделать. Слишком сложные они.