Ban axioms in non-axiom Anneal annotations
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
Ban Lean `axiom`s or other Lean constructs which amount to axiomatic statements. Anneal annotations marked as `unsafe(axiom)` are allowed to use `axiom`s.
Contributor guide
Assessment
This issue has not been assessed yet.