nim-codex/codex/proving.nim

6 lines
85 B
Nim

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