add screenshot for the Abduction Prover on Prod06

data61 · Oct 6, 2023 · 72d6883 · 72d6883
1 parent 2c5fb01
commit 72d6883
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/image/screenshot_prod06.png b/image/screenshot_prod06.png