exe:proof-assistant-bot

Dependencies

• base lib:base <4.18
• proof-assistant-bot lib:proof-assistant-bot >=0

Reverse dependencies

None.