Proof General, and particularly, the Proof General Kit is proposed as a vehicle for research into engineering electronic proof. We want to investigate the maintenance, combination, and reuse of formal proof developments.
This project has not yet been started, and there are no public documents available yet.
Some hints of our plans appear in the papers describing the Proof General Kit.
Any comments are welcomed.