website platform

Developed by PHP 5.0 and Javascript.

Website-platform is used to manage verifications and proofs from various verification projects，providing verification engineers with a tool for collaboration.

Manage users’ projects

Users can create, join or quit projects they selected as shown in the picture.

Create a new request by sending analyzing result to web server.

No manual input of the related data: Simply select Excel file generated by Analyzer to send it to the server, and the platform will check where the lemma is used.

View Requests by project or user: