Lean and Rust based cryptographic protocol framework for formally proving protocol properties
active 2024-07-16 → 2024-08-24 (UTC)
Complete coverage26,373 / 26,373 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-17 (UTC)
Events
82
Pushes
64
Pull requests
6
Issues
2
Stars
4
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 40 days from 2024-07-16 to 2024-08-24. Pushes: 64 total, peak 6 in a day. Pull requests: 6 total, peak 4 in a day. Issues: 2 total, peak 2 in a day. Comments: 0 total, peak 0 in a day. Stars: 4 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| david415 | 72 | 64 | 6 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#5david4152024-08-20 09:10
- Pull request#5david4152024-08-20 09:04
- Issue#4david4152024-08-16 21:47fix merkle hash tree: prove termination of untilSet function
- Pull request#3david4152024-08-16 03:55
- Pull request#3david4152024-08-16 03:40
- Pull request#2david4152024-08-16 03:29
- Pull request#2david4152024-08-16 03:26
- Issue#1david4152024-08-16 01:06prove p is prime for X25519
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 4 stars here means stars gained during the window, not the repo's star count.