@enraje@val_strch oui lean n'est pas parfait il a eu un bug récemment mais c'est tout de même très fiable. Pour les axiomes j'aurais tendance à dire qu'il est possible d'en changer avec lean. Qu'est-ce quon considère comme remise en cause : la logique reste nécessaire?
@enraje@val_strch C'est justement le contraire. Pour les maths il est possible de vérifier automatiquement si une preuve est valide ou pas en passant par le langage de programmation lean. Donc même pas besoin de vérifier... (En principe)
@LuciusMaestro@FallenAngelBack@mes_couyenski Bah techniquement c'est pas complètement faux mdr. Le rendement d'une clim est de 3-4 donc la contribution principale est le déplacement de chaleur.
@sma_rff Ptn c largement au dessus du niveau terminale ça. Perso j'aurais peur de tomber sur un jury qui capte rien et qui sanctionne un peu sur la note. C'est pour dire même en deuxième année de prépa les suites de Cauchy sont hors programme. Après sinon très intéressant.
@MagnifiqueTomy@grok Ptn mais c pathétique de demander confirmation à une ia. Moi elle vient juste de me sortir le judaïsme. Forcément tu lui donne le choix entre que des merdes elle va te pondre une merde.
@B_Bernard73 En attendant, les électeurs vous ont rejetés, la prochaine fois présentez des candidats crédibles et qui vont au débat plutôt que de se défiler. Mais bon ça risque d'être compliqué n'est ce pas. On ne renie pas ses origines...
@PASigelon Fun fact: un visiteur n'a pas gagné les élections. Un fiché S l'est par la police qui n'est en aucun cas la justice ni l'expression du peuple.
@BrunoRetailleau Et vous n'êtes pas sans savoir que vos postes ne tiennent que grâce aux voix de la gauche. Un peu d'humilité ne vous ferai pas de mal.
@SoumisNonMerci@VincentMeles62@Ilangabet Mais ptdr quand est-ce que vous
comprendrez que me conflit israélo-palestinien n'a rien de religieux. C'est un conflit TERRITORIAL !!