Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 26, 2024

• Build with Coq 8.20

  4ever2

  committed
  43072b1

Commits on Oct 25, 2024

• Compatible with MathComp-Analysis master

  4ever2

  committed
  7eb76b8

Commits on Jul 11, 2024

• Add SSProve prefix to logpaths

  4ever2

  committed
  9c27186

Commits on Mar 6, 2024

• more warning fixes.

  sertel

  committed
  2b3ccd4

Commits on Apr 7, 2023

• Coq 8.16 & 8.17 support

  4ever2

  committed
  7b4dbcf

Commits on Apr 6, 2023

• Coq 8.15 support

  4ever2

  committed
  c4f12da

Commits on Feb 7, 2022

• Update to mathcomp-analysis 0.3.12

  TheoWinterhalter

  committed
  7168056

Commits on Nov 23, 2021

• Remove unused files (#16)

  Show description for 701c98e
  TheoWinterhalter

  authored
  701c98e

Commits on Nov 22, 2021

• Update to coq 8.14 (#15)

  Show description for ceb3b88
  TheoWinterhalter

  authored
  ceb3b88

• Remove compat layer from semantics files

  TheoWinterhalter

  committed
  27f272e

Commits on Mar 10, 2021

• Remove outdated s/\ notation

  TheoWinterhalter

  committed
  9e487b4

Commits on Feb 9, 2021

• Pass on comments SPropBase.v

  antoinevanmuylder

  committed
  8bbf6da

• nits

  haselwarter

  committed
  540d282

• Anonymise code (revert after submission)

  haselwarter

  committed
  13bec35

Commits on Jan 25, 2021

• Encapsulate ≤ notation

  TheoWinterhalter

  committed
  2261460

• Specify core as hint database in FiniteProbabilities

  TheoWinterhalter

  committed
  0ce9b1d

• Silence mathcomp warnings

  TheoWinterhalter

  committed
  7e3aa79

Commits on Jan 22, 2021

• Remove Eval and Locate

  TheoWinterhalter

  committed
  f91429f

• Remove Check/About/Print

  TheoWinterhalter

  committed
  92a8488

Commits on Dec 18, 2020

• Minimise requires using coq-tools

  Show description for fccd75b
  TheoWinterhalter

  committed
  fccd75b

Commits on Nov 9, 2020

• Update to 8.12 and clean a bit

  TheoWinterhalter

  committed
  2aa4f91

• Merge branch 'noSProp'

  theolaurent

  committed
  872ee17

Commits on Nov 4, 2020

• Fix FiniteProbabilities.v.

  theolaurent

  committed
  6e833c8

Commits on Nov 3, 2020

• TMP

  theolaurent

  committed
  f3435db

Commits on Oct 1, 2020

• TMP

  theolaurent

  committed
  31acaea

• Remove a lot of files.

  theolaurent

  committed
  a21f6f9

Commits on Jul 27, 2020

• Removed phony SProp extensionality axioms.

  theolaurent

  committed
  1ef4d1d

Commits on Jul 8, 2020

• Continuing SProp cleanup.

  theolaurent

  committed
  0315296

Commits on May 20, 2020

• Removed { .. ≫ .. }.

  theolaurent

  committed
  5887ff0

• Removed s∃, s∀.

  theolaurent

  committed
  20f9b99

• Removed ≡ and sEq.

  theolaurent

  committed
  bd35533

• Removed Spr1 and Spr2.

  theolaurent

  committed
  abbcb65

• Removed Ssig.

  theolaurent

  committed
  4ff588a

• Removed sUnit and sEmpty.

  theolaurent

  committed
  c6e165e

Commits on Apr 29, 2020

• Removing phony SRelation files in favor of stdlib.

  theolaurent

  committed
  d998db1

Pagination

PreviousNext