/ GrothProofs / docs / Project.toml
Project.toml
1  [deps]
2  Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
3  GrothProofs = "a08a9250-f3dc-4127-bcf9-3e12d47ce125"