bytestring-fiat icon indicating copy to clipboard operation
bytestring-fiat copied to clipboard

Published 20 hours ago • verified publisher icon jwiegley

Update README to indicate all necessary dependencies

Open jwiegley opened this issue 7 years ago • 0 comments

  • Coq 8.6
  • MIT fiat (multi-arity branch)

jwiegley avatar May 02 '17 18:05 jwiegley