Cargo Features

[dependencies]
winter-prover = { version = "0.11.0", default-features = false, features = ["std", "async", "concurrent"] }
default = std

The std feature is set by default whenever winter-prover is added without default-features = false somewhere in the dependency tree.

std default concurrent?

Enables std of winter-air, winter-crypto, winter-fri, winter-math, and winter-utils

async

Enables async of winter-maybe-async

concurrent = std

Enables concurrent of winter-crypto, winter-fri, winter-math, and winter-utils

winter-prover has 4 features without comments.