The latest version of g4ip-prover is 2.0.0.0-0.

exe:g4ip-prover

Dependencies

Reverse dependencies

None.