Skip to content

[lib] move crc, prover, tactic

Loïc Correnson requested to merge feature/lib-tactic into master

Move some modules to lib and use Tactic whenever possible.

Merge request reports