Comment peut-on créer de source LaTeX pour la déduction naturelle preuve d'arbres (comme ceux montrés ici) via Haskell par exemple, en utilisant HaTeX? Je tiens à émuler LaTeX .stys comme bussproofs.sty ou de la preuve.sty.
Prograide.com
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
