hwayne/lets-prove-leftpad

Issues

• Write an explainer about what this project is about

  #45 opened a year ago by waldyrious
  1

• Cryptol Version?

  #49 opened 2 years ago by genos
  2

• List of provers we're currently missing

  #37 opened 2 years ago by hwayne
  0

• Lean Proof Link Doesn't Work

  #47 opened 2 years ago by hwayne
  0

• Rust example

  #44 opened 2 years ago by suhr
  3

• Add summary statistics about different proofs

  #39 opened 3 years ago by solna86
  0

• ATS example

  #13 opened 7 years ago by NOTtheMessiah
  1

• Lean solutions

  #7 opened 7 years ago by bandali0
  2