proof
|
provide proper proofdepth macro. fix subproof
|
2022-01-10 00:31:26 +01:00 |
refproof
|
rename new version of refproof into old name
|
2022-01-15 15:01:31 +01:00 |
restate
|
update gitignore
|
2021-10-07 18:18:43 +02:00 |
subproof
|
add subproof tests
|
2022-01-15 14:57:05 +01:00 |
Makefile
|
update gitignore
|
2021-10-07 18:18:43 +02:00 |