Jason Gross est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 6 votes
Automatisation de la tactique : procédure de décision simple
el 6 de Novembre, 2017 6 votes - 6 votes
Tags préférés
- 2 x coq
- 1 x idris
- 1 x agda
- 1 x haskell
- 1 x coq-tactic
- 1 x dependent-type