Record🤔

uri:

"at://did:plc:ccikl4jnjjzzap7ifyvce7d7/app.bsky.feed.post/3kihvqf73il22"

cid:

"bafyreicseruu7fohxh7ueth555bscmi2zc4lu4r254pg7id5eqgjbcqwmq"

value:

text:

"Lean勉強会 を公開しました！
定理証明支援系を勉強したくなったので、勉強会という形をとることにします。主催である私は完全に初めてですがよろしくお願いします hask(_ _)eller
connpass.com/event/307123/"

$type:

"app.bsky.feed.post"

embed:

$type:

"app.bsky.embed.external"

external:

uri:

"https://connpass.com/event/307123/"

thumb:

View blob content

$type:

"blob"

ref:

$link:

bafkreienozz7s7gdptfcktjlxbzrbt7fkami4drxnfwytpuvjlxc5ybuwa

mimeType:

"image/jpeg"

size:

366844

title:

"Lean勉強会 (2024/01/29 20:00〜)"

description:

"# 内容・動機  Software Foundations vol. 1 Logical Foundationsという著名な本のサンプルコードを主催である私YAMAMOTO Yujiと喋りながら翻訳して、Lean 4を勉強しま�..."

langs:

• "ja"

facets:

• index:

  byteEnd:

  267

  byteStart:

  241

  features:

  • uri:

    "https://connpass.com/event/307123/"

    $type:

    "app.bsky.richtext.facet#link"

createdAt:

"2024-01-08T13:09:07.027Z"