Dear #lean4 #maths community,
Where can I read a beginner friendly introduction to what the "gcongr" tactic is and is not?
Genuinely I haven't found anything over the last few weeks.
( The official docs are effectively the source code annotations and birna beginner tutorial)
Tariq /
npub1xs…ctf6m
2024-07-21 16:08:20
Author Public Key
npub1xsrfffw8z907pyv0ulkfqwrcvkfw8qz0rg8y2l37p8gran76m34s2ctf6mPublished at
2024-07-21 16:08:20Event JSON
{
"id": "46216c266e760a13ac94cfcfdd34b9f1c3a511fca5b8c6ccc0bc6265e3f79fc7",
"pubkey": "340694a5c7115fe0918fe7ec9038786592e3804f1a0e457e3e09d03ecfdadc6b",
"created_at": 1721578100,
"kind": 1,
"tags": [
[
"t",
"lean4"
],
[
"t",
"maths"
],
[
"proxy",
"https://mastodon.social/users/rzeta0/statuses/112825342385118779",
"activitypub"
]
],
"content": "Dear #lean4 #maths community,\n\nWhere can I read a beginner friendly introduction to what the \"gcongr\" tactic is and is not?\n\nGenuinely I haven't found anything over the last few weeks.\n\n( The official docs are effectively the source code annotations and birna beginner tutorial)",
"sig": "214c08600f03702166aa1a94738666f4c84f34fcccd8dd3e162d77effcdf1138189d1d8dae04de5a2a61cfbf9a813ff4c873c506b8ba2484543cd849752b626f"
}