Mentions légales du service

Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • main default protected
1 result
Created with Raphaël 2.2.024Jan99Nov6Oct5428Sep9862évite une répétition maladroite de 'montrer'mainmainaméliore l'explication des quantifications universellesavoid leaving the git repository in a detached stateadd instructions to use latexdiffraccourcit le résumésimplifie l'explication des buts résolus par easy, enleve une phrase inutiletypo that makes latex failmake sure Coq generated files are ignoreda vernacular file that contains verbatim extraction from short_article.texajoute un titre pour le résumé, ajoute un commentaire sur le test avec Alicea command that puts all inputs in a single file for use by latexdiffsimplification du code pour le test, grâce à all:, correction de typosmap has been renamed into accounts in the articleajoute un test symbolique de abstract_transferajoute un premier paragraphe qui peut servir de résuméan html version to be used in jscoq, with comments designed forsubstitute the name 'set' for 'update' and adds two Compute commandsadding licenseadds references to Coq, coq-in-a-hurry, and the source codeenvoi du 4 octobresummary of the structure and command to produce the rtf formatgitignoredecompose into smaller parts, to make it possible to share materialproof-read until end of proofs for abstract_transferrelecture et corrections mineures pour la première partie jusqu'àprove that the instantiated function with association lists is correctajoute quelques explications de syntaxeadded an introduction about functional programmingmake it explicit that the latex sources use unicode, to help latex2tfléger changement de point de vue, et correction d'une typo sur 'transfer'initial version after one full day of workInitial commit