eg. 'wrapper', 'category:python' or '"document database"'
Action requires login
Mets les forall/exists dans code:coq (Sinon List.forall se fait replace), et tu pourrais mettre plus de lettres grecques :-°
asmanur | 2010-08-14 16:49:41 UTC
Mets les forall/exists dans code:coq (Sinon List.forall se fait replace), et tu pourrais mettre plus de lettres grecques :-°