Skip to content
Snippets Groups Projects
Select Git revision
  • public default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.09Apr44Mar328Feb252421516Jan155Dec429Nov272625222119181376528Oct25191898730Aug2923Jul22167542130Jun29272521181612111076529May2824221623Apr186324Mar201211119Feb181615131211923Jan191817823Dec22191813718Sep1328Aug2526Jul30Jun293Apr13Mar8324Feb22151419Sep17151210611Aug87643130Jul2624232219181512118713Jun24May27Apr4125Mar231514103218Feb15111021Dec2017109318Aug15Jul54Jun12May117630Apr292225Mar131226Feb25Jan14131210Dec726Nov30Oct543223Sep16Jul330Jun10319May1428Apr21201718Feb1718Nov1428Oct29Sep13Jul220Jun1413127May63223Apr312Mar1125Jan723Nov16Sep15110Aug9825Jun2415828May20Apr1046Feb5130Nov28272322201714118765327Oct262423201918175426Sep8531Aug2928242216151410931Jul3029282726252018171312117530Jun2928272623212016159831May30272625232221201917165328Apr27262524629Mar2216141332128Feb2715139323Jan12119821Dec128221Nov1510228Oct27201211314Sep30Aug251031Jul3029272625222120181312118Updating the README file to cite the Xeber point case study.publicpublicMerge remote-tracking branch 'origin/weber' into publicMerge branch 'master' into publicCoq 8.19 is back + less warning + fix commentsMerge branch 'master' into weberRemoving calls to libhyps and a few cleaning.Merge branch 'master' into gathering-bivalentMerge branch 'master' into publicUpdating the README with sirocco 2025 reference.Merge branch 'master' into publicA few missing "Proof using".assumptions for unfair.Merge branch 'master' into gathering-bivalentMerge branch 'master' into publicMore cleaning.Merge branch 'public' into gathering-bivalentMerge branch 'master' into publictrying unfair case with color gathering.Cleaning.Extension of MMultiset.map to several base typesFixing some Proof using.Merge branch 'master' into gathering-bivalentMerge branch 'master' into publicTypos and formatting.Merge branch 'master' into publicMerge branch 'vapontegarcia-master-patch-75068' into 'master'Update README.mdMerge branch 'master' into publicMerge branch 'master' into publicMerge branch 'vapontegarcia-master-patch-04509' into 'master'Merge branch 'vapontegarcia-master-patch-27302' into 'master'Apply 1 suggestion(s) to 1 file(s)Update DEV.mdMerge branch 'vapontegarcia-master-patch-66975' into 'master'Update codemeta.jsonUpdate CREDIT.md with improved english and periods of times. omfg proofread plzSwitching CI to Coq 8.18, 8.19, 8.20 References in the README + codemeta for LionelAdding codedmeta.json file + CREDIT.