This repo contains the Formal Verification of the Matrix Calculator Android Application.