Added script to open in github.
Updated class prover.