Pulse Contributors Code frequency Recent commits

2025-12-17 - 2025-12-24

Period: 1 week

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

1 active pull request

0 active issues

0
Merged pull requests 1
Proposed pull request 0
Closed issues 0
New issues

There has not been any commit activity in this period.

1 pull request proposed by 1 user

Proposed #59 Formally define design safety, and prove it for 1-step and 2-step induction 2025-12-23 01:53:46 +00:00