1  # Getting Started
 2  
 3  ```@meta
 4  CurrentModule = GrothProofs
 5  DocTestSetup = :(using GrothProofs, GrothAlgebra, GrothCurves)
 6  ```
 7  
 8  This section will walk through local project setup, developing packages, and
 9  running the Groth16 pipeline end-to-end.
10  
11  !!! note
12      Content is being migrated into Documenter; expect these pages to grow as we
13      fold in the existing README snippets and tutorial scripts.