argumentcomputer / argumentcomputer/ix
Remove `BuiltIn`-related data from `Ixon`
Open
ix
- Dominant language
- Rust
- Stars
- 93
- Forks
- 3
- Avg merge
- 21h 7m
- Merged PRs (30d)
- 45
Description
After we moved on from Lean v4.23, the `BuiltIn` workaround types became obsolete, as they don't come from actual Lean environments anymore.
Contributor guide
No contributing guide indexed for this repository
Research direction
Search the repository for `BuiltIn` and identify the workaround types and their references. Remove the obsolete data while preserving remaining Lean-related behavior, then run the existing test suite to confirm the cleanup does not break the project.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100