input-output-hk / input-output-hk/Lean-blaster
Profile and improve the proof stack replay
Open
area: proof reconstruction
- Dominant language
- Lean
- Stars
- 57
- Forks
- 11
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
Description
**Goal:** Profile the proof stack replay and pursue architectural improvements where warranted.
**DoD:**
- [ ] Proof stack replay profiled on a representative suite.
- [ ] Improvements surfaced by the profiling are implemented.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.