ComplCoq: Rewrite Hint Construction with Completion Procedures

EasyChair Smart Slide

User Guide/Log in

Home

Title:ComplCoq: Rewrite Hint Construction with Completion Procedures

Authors:Mirai Ikebuchi and Keisuke Nakano

Conference:Coq Workshop 2018

Tags:Automated Algebraic Reasonings, Completion and Term Rewriting Systems

Abstract:

The proposal is uploaded.

ComplCoq: Rewrite Hint Construction with Completion Procedures

ComplCoq: Rewrite Hint Construction with Completion Procedures

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

1of23

1

2

3

4

Copyright © 2002 – 2025 EasyChair