自己紹介

• Twitter: @boitsov14
• GitHub: boitsov14
• Zenn: boitsov14

Sequent bot

• GitHub: theorem-prover-kt
• Demo site: here
• Misskey bot: @sequent_bot@misskey.io
• Twitter bot: @sequent_bot
• 進捗報告: here