GitHub repository: EvgenDas/automatic_verification
Primary language: Java
Description: Business Programming Project