*looks at your proof state*
damn bitch, you live like this?

· · Mastodon Twitter Crossposter · 1 · 3 · 4

*grabs broom*
repeat match goal with | H : ?a = ?a |- _ => clear H end.

Show thread
Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!