Issues

• Bot does not respond in supergroup with topics

  swamp-agr/proof-assistant-bot#47 · Filter by author swamp-agr opened on Feb 11, 2024

• Improve UX for stateful backends

  swamp-agr/proof-assistant-bot#27 · Filter by author swamp-agr opened on Dec 14, 2022

• Reduce response time for Arend

  swamp-agr/proof-assistant-bot#26 · Filter by author swamp-agr opened on Dec 14, 2022

• Block io for Agda

  swamp-agr/proof-assistant-bot#25 · Filter by author swamp-agr opened on Dec 14, 2022

• Figure out how to import arithmetic operations in Agda

  swamp-agr/proof-assistant-bot#24 · Filter by author swamp-agr opened on Dec 14, 2022