1. Implémentez un type abstrait « chaîne de caractères » à l’aide de deux structures de données différents.

Veuillez consulter le code sous github: « Click me 1» « Click me 2»

2. Doter celui-ci d’une sémantique axiomatique en rajoutant des assertions là où cela vous paraît utile. Ces assertions seront par ailleurs implémentées comme vous le feriez avec des fonctions booléennes.

Veuillez consulter le code sous github: « Click me »