lets-prove-leftpad icon indicating copy to clipboard operation
lets-prove-leftpad copied to clipboard
verified publisher icon hwayne

List of provers we're currently missing

Open hwayne opened this issue 4 years ago • 0 comments

  • [ ] ATS
  • [ ] Iris
  • [ ] AutoProof

I'll add more as I run into them

hwayne avatar Jun 01 '21 18:06 hwayne