Coq last bench report
Successes (141 contribs)
Berkeley/Goedel Detail
Sophia-Antipolis/CoursDeCoq Detail
Sophia-Antipolis/SumOfTwoSquare Detail
Sophia-Antipolis/Angles Detail
Sophia-Antipolis/Float Detail
Sophia-Antipolis/Stalmarck Detail
Sophia-Antipolis/CatsInZFC Detail
Sophia-Antipolis/FunctionsInZFC Detail
Sophia-Antipolis/Buchberger Detail
Sophia-Antipolis/Matrices Detail
Sophia-Antipolis/String Detail
Sophia-Antipolis/Circuits Detail
Sophia-Antipolis/Huffman Detail
Sophia-Antipolis/Sudoku Detail
Sophia-Antipolis/Maths/ConstructiveGeometry Detail
Sophia-Antipolis/Maths/DomainTheory Detail
Sophia-Antipolis/Maths/GroupTheory Detail
Sophia-Antipolis/HighSchoolGeometry Detail
Sophia-Antipolis/Bertrand Detail
Sophia-Antipolis/RecursiveDefinition Detail
Sophia-Antipolis/ParamPi Detail
Sophia-Antipolis/RSA Detail
Sophia-Antipolis/Presburger Detail
Sophia-Antipolis/lc Detail
Sophia-Antipolis/Semantics Detail
Sophia-Antipolis/Algebra Detail
Singapore/DescenteInfinie Detail
Udine/PiCalc Detail
Lannion/Continuations Detail
BellLabs/lazyPCF Detail
Lausanne/Hedges Detail
Muenchen/HigmanCF Detail
Muenchen/IPC Detail
Muenchen/Tait Detail
Eindhoven/Pocklington Detail
CNAM/Fermat4 Detail
Suresnes/MiniC Detail
Suresnes/CanonBDDs Detail
Bordeaux/Additions Detail
Bordeaux/ZSearchTrees Detail
Bordeaux/Dictionaries Detail
Bordeaux/Icharate Detail
Bordeaux/Exceptions Detail
Bordeaux/Cantor Detail
Bordeaux/Lambek Detail
Bordeaux/SearchTrees Detail
Bordeaux/Groups Detail
Nancy/CoLoR Detail
Nancy/FOUnify Detail
Utrecht/Ramsey Detail
Utrecht/AxiomaticABP Detail
Chalmers/MapleMode Detail
Rennes/Micromega Detail
Paris/ZF Detail
Marseille/Kildall Detail
Marseille/Fairisle Detail
Marseille/LTL Detail
Marseille/GC Detail
Marseille/HigmanS Detail
Marseille/Hardware Detail
Marseille/CCS Detail
Misc/ModRed Detail
Misc/QuicksortComplexity Detail
IdealX/IdxAssoc Detail
Grenoble/HoareTut Detail
Grenoble/ATBR Detail
San_Jose/Markov Detail
San_Jose/OrbStab Detail
Dyade/BDDs Detail
Dyade/OtwayRees Detail
Strasbourg/EulerFormula Detail
Strasbourg/TarskiGeometry Detail
Strasbourg/ProjectivePlaneGeometry Detail
Strasbourg/ProjectiveGeometry Detail
Strasbourg/JordanCurveTheorem Detail
Montevideo/FSSecModel Detail
Montevideo/RailroadCrossing Detail
Montevideo/CTLTCTL Detail
Saclay/Ssreflect Detail
Cachan/SMC Detail
Cachan/IntMap Detail
Amsterdam/Coalgebras Detail
Orsay/MiniCompiler Detail
Orsay/TreeDiameter Detail
Orsay/ExactRealArithmetic Detail
Orsay/TortoiseHareAlgorithm Detail
Orsay/PAutomata Detail
Orsay/Random Detail
Orsay/Maths Detail
Orsay/FingerTrees Detail
Orsay/PersistentUnionFind Detail
Orsay/QArith Detail
Orsay/SquareMatrices Detail
Orsay/FSets Detail
Orsay/ReflexiveFirstOrder Detail
Lyon/GraphBasics Detail
Lyon/DistributedReferenceCounting Detail
Lyon/Streams Detail
Lyon/Multiplier Detail
Lyon/IEEE754 Detail
Lyon/WeakUpTo Detail
Lyon/CoinductiveExamples Detail
Lyon/Automata Detail
Lyon/RulerCompassGeometry Detail
Lyon/FiringSquad Detail
Lyon/ABP Detail
Lyon/FundamentalArithmetics Detail
Nijmegen/CoinductiveReals Detail
Nijmegen/Prfx Detail
Nijmegen/CoRN Detail
Nijmegen/AMM11262 Detail
Nijmegen/Coqoban Detail
Nijmegen/Karatsuba Detail
Nijmegen/Rem Detail
Nijmegen/LinAlg Detail
Nijmegen/QArithSternBrocot Detail
Rocq/Paradoxes Detail
Rocq/Shuffle Detail
Rocq/AILS Detail
Rocq/CoqInCoq Detail
Rocq/Rational Detail
Rocq/ThreeGap Detail
Rocq/ARITH/ZChinese Detail
Rocq/ARITH/Chinese Detail
Rocq/CompCert Detail
Rocq/TreeAutomata Detail
Rocq/Graphs Detail
Rocq/ZFC Detail
Rocq/Lambda Detail
Rocq/Checker Detail
Rocq/HistoricalExamples Detail
Rocq/AreaMethod Detail
Rocq/MutualExclusion Detail
Rocq/MiniML Detail
Rocq/PTS Detail
Rocq/IZF Detail
Rocq/Demos Detail
Rocq/HigmanNW Detail
Rocq/Schroeder Detail
Rocq/Subst Detail
Rocq/ConCaT Detail