Translations related to Giovanni Bajo

Last translation activity by Giovanni Bajo was .

Activity

These are the translations that Giovanni Bajo last worked on:

EasyCrypt trunk series