Closed QGarchery closed 11 months ago
Just realized that there was discrepancy between the README and the specification files. This change is needed for the communication on the formal verification of Blue
Just realized that there was discrepancy between the README and the specification files. This change is needed for the communication on the formal verification of Blue