Sujets créés par Ben Dover
| Sujet | Date | Extrait |
|---|---|---|
| jeudi 23 novembre 2017 à 18h48 | Bonjour, Si j'en crois [le site du gouvernement sur la médiation et la consommation](https://www.economie.gouv.fr/mediation-conso/vous-etes-professionnel), un site marchand est obligé de faire fig… | |
|
Non-prouvabilité en déduction naturelle propositionnelle
Par des moyens syntaxiques |
vendredi 27 octobre 2017 à 17h26 | Bonjour, Je m'intéresse aux démonstrations (niveau méta) de non-prouvabilité de formules propositionnelles simples en déduction naturelle qui se basent sur des arguments syntaxiques. Je me souv… |
| dimanche 24 septembre 2017 à 12h49 | Bonjour, J'essaye de personnaliser les couleurs utilisées dans irssi en modifiant un fichier `.theme`. J'arrive à charger le fichier et à le modifier mais quand je change les couleurs en fonction … |