Event JSON
{
"id": "af6b110ef6366197c08b7822367a645f30d78f2d691b0b777affb824fe5d1078",
"pubkey": "3e887d59e7fffb1d09311dffb35d8c3b41d2fd1eb8e6f4e318c0e58d52d2cdeb",
"created_at": 1723070597,
"kind": 1,
"tags": [
[
"e",
"e716e1cdfca46dbda1c390df3190f633156fdfae1771e06155879dad10ed19f3",
"",
"reply",
"5efec3462995124b012ce04ded24c11fc7971652473d8659f50f0d0c20484b0f"
],
[
"e",
"979dfa4957f45fccf927b0dd9b7d9f99239ca0ad961ef2a6e906dc582fd54f2a",
"",
"root",
"5efec3462995124b012ce04ded24c11fc7971652473d8659f50f0d0c20484b0f"
],
[
"proxy",
"https://hachyderm.io/@hazelweakly/112923154690949925",
"web"
],
[
"p",
"5efec3462995124b012ce04ded24c11fc7971652473d8659f50f0d0c20484b0f"
],
[
"proxy",
"https://hachyderm.io/users/hazelweakly/statuses/112923154690949925",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://hachyderm.io/users/hazelweakly/statuses/112923154690949925",
"pink.momostr"
],
[
"-"
]
],
"content": "Lean is excellent! A former coworker of mine is actually working on lean right now, it's a marvelous piece of software.\n\nI'm really looking forward to formal verification getting easier! Better proof repair in particular will unlock a *ton* of value\n\nSpeaking of formal verification: do you have a favorite tool(s) currently? I read your blog post on getting into formal specification from 2022 but was curious if a few more years and tools have informed your list of favorites or not :)",
"sig": "b090294ed6a7b2fa3e4ad0b79a03e30f4871d2349803e695b99919821ab7ff1b93a3c873ce219ad11a6a5efa0d077250964b316787b1867a5ac1ef1d68995760"
}