Search results

Bot does not respond in supergroup with topics

Status: Open.

#47 In swamp-agr/proof-assistant-bot;

· swamp-agr opened on Feb 11, 2024

Improve UX for stateful backends

Status: Open.

#27 In swamp-agr/proof-assistant-bot;

· swamp-agr opened on Dec 14, 2022

Reduce response time for Arend

Status: Open.

#26 In swamp-agr/proof-assistant-bot;

· swamp-agr opened on Dec 14, 2022

Block io for Agda

Status: Open.

#25 In swamp-agr/proof-assistant-bot;

· swamp-agr opened on Dec 14, 2022

Figure out how to import arithmetic operations in Agda

Status: Open.

#24 In swamp-agr/proof-assistant-bot;

· swamp-agr opened on Dec 14, 2022