Procrastination, A proof engineering technique

EasyChair Smart Slide

Home

Title:Procrastination, A proof engineering technique

Authors:Armaël Guéneau

Conference:Coq Workshop 2018

Tags:big enough, coq, formal proofs, proof engineering and side conditions

Abstract:

We present a small Coq library for collecting side conditions and deferring their proof.

Procrastination, A proof engineering technique

Procrastination, A proof engineering technique

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

1of33

1

2

3

4

Copyright © 2002 – 2025 EasyChair