VeriNum/LAProof

Issues

• Please add a LICENSE

  #12 opened a year ago by JasonGross
  1

• Build failure with mathcomp-2.0.0

  #5 opened a year ago by JasonGross
  3

• opam package?

  #7 opened a year ago by JasonGross
  0

• Missing `mathcomp-compat/CommonSSR.v`

  #3 opened a year ago by JasonGross
  0

• Build target for VST-independent parts?

  #6 opened a year ago by JasonGross
  0

• Proposal for organization of this repo

  #1 opened 2 years ago by andrew-appel
  1