fiat-crypto icon indicating copy to clipboard operation
fiat-crypto copied to clipboard
verified publisher icon mit-plv

Platform

Open spitters opened this issue 4 years ago • 2 comments

Inclusion in platform will aid easy installation on all OSes: https://github.com/coq/platform

spitters avatar Apr 06 '21 08:04 spitters

I see that there are several backends, some of which are maintained, some of which aren't. Maybe it would help to define precisely which part of fiat-crypto would be included in the Coq Platform and ping the relevant maintainers in this issue.

Zimmi48 avatar Nov 17 '21 13:11 Zimmi48

I guess C would be the easiest to start with. Bedrock comes with a set of other dependencies.

spitters avatar Nov 17 '21 13:11 spitters