📦 remark-plugin-compile-code

Execute tools, typically compiler, during build time and inline the resulting output in the documentation.

```z3wasm
(declare-const a Int)
(declare-fun f (Int Bool) Int)
(assert (= a 10))
(assert (= (f a true) 100))
(check-sat)
```

http://localhost:3000

(declare-const a Int)
(declare-fun f (Int Bool) Int)
(assert (= a 10))
(assert (= (f a true) 100))
(check-sat)

Output

sat

Usage