Thierry Crouzet

@marpalix

@crouzet Pour moi, un système formel est là pour construire alors que le langage est là pour décrire. Source…