nim-codex/codex/proving.nim

5 lines
84 B
Nim

import ./proving/proving
import ./proving/simulated
export proving
export simulated