Parse Aeneas's comments to match Aeneas Lean items to source Rust items
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
This will allow us to rewrite Aeneas's generated Lean items to insert our own fields, arguments, etc, without first-class support from Aeneas itself.
Contributor guide
Assessment
This issue has not been assessed yet.