Towards a more uniform API for declare.ml (part declaring mutual statements)#18795
Merged
coqbot-app[bot] merged 12 commits intorocq-prover:masterfrom May 28, 2024
Commits
Commits on May 25, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
