/ GrothProofs / Project.toml
Project.toml
 1  name = "GrothProofs"
 2  uuid = "a08a9250-f3dc-4127-bcf9-3e12d47ce125"
 3  authors = ["0xpantera <0xpantera@proton.me>"]
 4  version = "1.0.0-DEV"
 5  
 6  [deps]
 7  GrothAlgebra = "c7a79d44-cfd6-4e24-8a20-28d2d2e8370b"
 8  GrothCurves = "5abac9ed-d1ba-4f09-bf87-1d0505e406bb"
 9  JET = "c3a54625-cd67-489e-a8e7-0a5a0ff4e31b"
10  Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
11  
12  [compat]
13  JET = "0.9.20"
14  julia = "1.11"
15  
16  [extras]
17  Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
18  
19  [targets]
20  test = ["Test"]