Pulse · leanprover-community/plausible · GitHub

October 27, 2024 – November 3, 2024

Overview

1 Active pull request

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

1 Pull request merged by 1 person

fix: allow sampling from higher universes
#2 merged Nov 3, 2024

1 Issue closed by 1 person

question: difference between `slim_check`
#1 closed Oct 28, 2024