CH3.09 : Réduction (issue 29) - Githubissues

UCL-INGI / LINGI1123-Calculabilite

15 stars 37 forks source link

CH3.09 : Réduction (issue 29) #68

Closed NoemieVst closed 6 years ago

NoemieVst commented 6 years ago

Ajout d'une explication de la technique de réduction
Amélioration des preuves des exemples