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.020Sep191817151312876corrects a wrong definition of fuel based recursion for Factmainmainadds a warning concerning the suitability of this example for JsCoqan attempt to use canonical structures with something else than a typewhite space correctionsa web page to explain the different filesminor improvements at presentation timebetter titleadd pointer to web page for setting up, plus a typo in fam. of typesexplained the matrix proof in the tex fileexplanations about canonical structureslinear arithmetic and interval reasoningbetter choice of names for lemmascheckpointa nicer, shorter proof of the determinant result, the right size for a demoadds explanation about well-founded recursion, including Equationsadds explanations about well-fonded recursion in Coqadds a coercion to make the first computation more readablecomplete but unsatisfactory proofs for rotmxcheckpointfirst version of a proof for Z factorialfinished slides for a first courseinitial commit, contains already about half an hour of the first course