Re: Symbolibre: calc française Python et formelle (giac de X
Posté:
05 Juin 2019, 20:20de Thom986
Toujours aussi intéressant à suivre.
Bonne continuation.
Re: Symbolibre: calc française Python et formelle (giac de X
Posté:
07 Juin 2019, 16:54de Lephe
Merci ! D'ailleurs pendant que j'y suis, on a publié le rapport de projet qui retrace un peu tout le parcours et la plupart des décisions techniques.
Il y a un
article sur notre site. C'est un peu dense mais il y a pas mal de détails nouveaux !
Re: Symbolibre: calc française Python et formelle (giac de X
Posté:
11 Oct 2019, 18:11de telpe51
Bonjour,
Je me demandais où en était ce beau projet : avez-vous eu le temps de le poursuivre ?
Re: Symbolibre: calc française Python et formelle (giac de X
Posté:
16 Jan 2020, 05:38de Hamza.S
Où en est le projet ? Déjà 6 mois sans nouvelles