まどわく on Nostr: Leanをやって初めてわかるCoqのeautoのありがたみ
Leanをやって初めてわかるCoqのeautoのありがたみ
Published at
2024-08-07 05:31:47Event JSON
{
"id": "ed51bdd4d0d2cb19460eb06e4ade6b45239624bab07423a026972a768c23d0dd",
"pubkey": "2934f677475d7880cbee2e1d9476eca0b4c8109f867f62cc710886caa5c320a5",
"created_at": 1723008707,
"kind": 1,
"tags": [],
"content": "Leanをやって初めてわかるCoqのeautoのありがたみ",
"sig": "af86ecafef46d6ae045639f9b5d5b26a1e5c68640567fdf4d4f95b212c144bfbcb0671769427480cf26f89db829dbc08a1a9f020c8c5ed39e11f47fabeba1950"
}
