« Précédent | Suivant » 

Révision 181

Ajouté par Patrick Baillot il y a plus de 8 ans

Modified lemma 19 on well-typed proofs, and gave a proof sketch.

Fichiers

  • ajouté
  • modifié
  • copié
  • renommé
  • supprimé

Voir les différences