You are viewing beroal

язык, на котором не говорят - in English [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

in English [Jul. 1st, 2020|12:00 am]
Previous Entry Add to Memories Share
[Tags|]

Welcome!

Posts in English in this blog.

OpenSearch plugin for searching on:

Short proofs in Coq.

In comments, please do not use words “incomprehensible”, “obscure”.
LinkReply

Comments:
[User Picture]From: beroal
2013-05-31 04:09 pm (UTC)

(Link)

test
[User Picture]From: beroal
2013-05-31 04:17 pm (UTC)

(Link)

<>