mei on Nostr: is there something like the language server protocol but for proof assistants?
is there something like the language server protocol but for proof assistants?
Published at
2024-11-20 05:45:12 UTCEvent JSON
{
"id": "9c0a775bf157923453d9db14e3c1b54c73ef2eea67d7c48a25e330e45f6af52a",
"pubkey": "126f7c96d85565ffcb3651693178be8697ab27f92cc74f737654108ad15b5628",
"created_at": 1732081512,
"kind": 1,
"tags": [
[
"proxy",
"https://donotsta.re/objects/596ef20d-3e42-4cb0-b204-af7273c1b3af",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://donotsta.re/objects/596ef20d-3e42-4cb0-b204-af7273c1b3af",
"pink.momostr"
],
[
"-"
]
],
"content": "is there something like the language server protocol but for proof assistants?",
"sig": "04c34b0faf6844b82885e94898c684825f695d6862365a7e83e2fff41e6b03e712203f602db4f9beadbe911c3d5d2daf6d74fd364dcc4e3bcd1a4be6db7d2016"
}
