hacspec/hax

Install hax and setup F*

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None

Inputs

namedescriptionrequireddefault
hax_reference—yesmain
hax_repository—yesgithub:hacspec/hax
fstar—no""

Outputs

no outputs