If you have Telegram, you can view and join
@eckartr's proofs. 🦕 right away.