mrsteve est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 1 rep
Isabelle : question banale : "Max (S::nat set) = 0" implique que tous les éléments de S sont nuls
el 28 de Juin, 2022 3 votes
Dernières réponses
- 8 votes
Apprentissage de R. Où commence-t-on ?
el 1 de Août, 2010 8 votes
Tags préférés
- 1 x r
- 1 x theorem-proving
- 1 x isabelle
- 1 x max