EasyChair Smart Slide
ComplCoq: Rewrite Hint Construction with Completion Procedures
ComplCoq: Rewrite Hint Construction with Completion Procedures