If you have Telegram, you can view and join
dachateau’s proofs <3 right away.