Je viens de remarquer que Chimera a dépassé 100 étoiles ! Avec Chimera, vous pouvez rapidement tester des propriétés avec Foundry, Echidna, Medusa, Halmos et Kontrol ! Envoyez-moi un message si vous avez des suggestions sur la façon dont nous pouvons nous améliorer !