Pulse · leanprover-community/aesop · GitHub

October 27, 2024 – November 3, 2024

Overview

1 Active pull request

3 Active issues
- 1 Merged pull request
- 0 Open pull requests
- 0 Closed issues
- 3 New issues

1 Pull request merged by 1 person

chore: bump toolchain to v4.13.0
#173 merged Nov 1, 2024

3 Issues opened by 1 person

Linter for inductive/structure rules
#172 opened Oct 28, 2024
Success probability sometimes increases for child goals
#171 opened Oct 28, 2024
Negative rules
#170 opened Oct 28, 2024