It seems like there are two versions of the translation of the Candle kernel into CakeML under candle/standard and candle/prover. This is confusing: there should only be one version, or the reason for the duplication should be much more clearly documented.
It seems like there are two versions of the translation of the Candle kernel into CakeML under
candle/standardandcandle/prover. This is confusing: there should only be one version, or the reason for the duplication should be much more clearly documented.