ComCert is out of support.
ComCert is out of support.
This project was discontinued by Cylindris Inc. on January 8th 2022.
This project was discontinued by Cylindris Inc. on January 8th 2022.
We didn't have enough customers to work with, that's why we fully stopped support for ComCert and discontinued it as a project.
We didn't have enough customers to work with, that's why we fully stopped support for ComCert and discontinued it as a project.
If you want to get more of Cylindris Inc., go here and explore everything we create