argumentcomputer / argumentcomputer/Nova.lean
Fix the `setup` function for PublicParams
Open
- Dominant language
- Lean
- Stars
- 3
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
No contributing guide indexed for this repository
Research direction
Locate the `setup` function for `PublicParams` and inspect its callers and surrounding definitions. Determine the intended setup behavior from those references, then verify that the function works through the relevant project checks.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100