?

Log in

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

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

in English [Jul. 1st, 2020|12:00 am]
beroal
[Tags|]

Welcome!

Posts in English in this blog.

Functional programming, computer science, mathematics.

My favorite links from Diigo: RSS, HTML.

OpenSearch plugin for searching on:

Short proofs in Coq.

test link
LinkReply

Comments:
[User Picture]From: beroal
2013-05-31 04:09 pm (UTC)
test
(Reply) (Thread)
[User Picture]From: beroal
2013-05-31 04:17 pm (UTC)
<>
(Reply) (Parent) (Thread)