Preuves avec propriétés inductives

• coq
• preuve

• Précédente
• 1
• 2

• lthms, mercredi 15 juillet 2015 à 22h4715/07/15 à 22h47

Pour ceux que ça intéresse (il faudrait un topic générique Coq en fait), j'ai écris un petit article sur les typages (très) fort des functions. C'est ici que ça se passe et les retours sont appréciés !

• 15/07/15 à 22h47

I don’t like syntax highlighting.

+0 -0

• anonyme, mercredi 15 juillet 2015 à 23h0315/07/15 à 23h03
• Modifié

il faudrait un topic générique Coq en fait

Ou alors, il faudrait un topic par sujet de discussion. Pourquoi se cacher ? Du coup je ferai mes quelques commentaires quand tu auras posté un nouveau sujet

• 15/07/15 à 23h03
• Modifié

+0 -0

• Précédente
• 1
• 2