argumentcomputer / argumentcomputer/Nova.lean
Serialisation tools for Nova
Open
- Dominant language
- Lean
- Stars
- 3
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
In the original library, I've noticed that it utilises some bits of realisation, so we've gotta figure out to what extent we need it for the Lean version.
Contributor guide
No contributing guide indexed for this repository
Research direction
Compare the original library's serialization and realization mechanisms with the current Lean version to determine which capabilities are needed. Define the required scope and completion criteria before identifying implementation files or tests, since the issue names none.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100