Pulse Contributors Code frequency Recent commits

2025-12-23 - 2025-12-24

Period: 1 day

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

Overview

0 active pull requests

0 active issues

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

There has not been any commit activity in this period.

1 unresolved conversation

Open #59 Formally define design safety, and prove it for 1-step and 2-step induction 2025-12-24 15:39:24 +00:00