?

Log in

No account? Create an account
in English - язык, на котором не говорят — LiveJournal [entries|archive|friends|userinfo]
beroal

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

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

Welcome!

Posts in English in this blog: HTML; Atom.

My favorite links in


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)