What is Nostr?
Tariq /
npub1xsr…tf6m
2024-07-21 16:08:20

Tariq on Nostr: Dear #lean4 #maths community, Where can I read a beginner friendly introduction to ...

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)
Author Public Key
npub1xsrfffw8z907pyv0ulkfqwrcvkfw8qz0rg8y2l37p8gran76m34s2ctf6m