Wiki
Agenda
Contact
English version
Toccata
Formally Verified Programs, Certified Tools and Numerical Computations
Accueil
Membres
Logiciels
Logiciels
Galerie de
programmes vérifiés
Projets
Publications
Postes
see also the
index
(by topic, by tool, by reference, by year)
Strings
Examples involving strings
Base64
Equality up to spaces
Hexadecimal encoding of strings
String search
Wrap lines
see also the
index
(by topic, by tool, by reference, by year)