Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 27, 2025

• Merge pull request #57 from rocq-community/elpi3

  Show description for c68ca1d
  proux01

  authored
  c68ca1d

  Copy full SHA for c68ca1d

Commits on Aug 25, 2025

• [CI] Update Nix toolbox

  proux01

  committed
  06f7991

  Copy full SHA for 06f7991

• Port to elpi 3.0

  proux01

  committed
  b83b37c

  Copy full SHA for b83b37c

• Merge pull request #56 from rocq-community/update-install

  Show description for 5058ae3
  CohenCyril

  authored
  5058ae3

  Copy full SHA for 5058ae3

• Update installation instruction

  proux01

  committed
  ef01c87

  Copy full SHA for ef01c87

Commits on Aug 23, 2025

• Update home.md

  CohenCyril

  authored
  95317bf

  Copy full SHA for 95317bf

Commits on Jul 1, 2025

• Merge pull request #55 from MysaaJava/master

  Show description for a0edc3f
  CohenCyril

  authored
  a0edc3f

  Copy full SHA for a0edc3f

• Makefile rearrangments

  MysaaJava

  committed
  2be22dd

  Copy full SHA for 2be22dd

Commits on Jun 26, 2025

• Merge pull request #53 from CohenCyril/opam_docker

  Show description for 930f924
  CohenCyril

  authored
  930f924

  Copy full SHA for 930f924

Commits on Jun 6, 2025

• Opam packages + Dockerfile

  CohenCyril

  committed
  be69c80

  Copy full SHA for be69c80

Commits on May 22, 2025

• Merge pull request #51 from rocq-community/workaround-rocq-20668

  Show description for a508bc4
  CohenCyril

  authored
  a508bc4

  Copy full SHA for a508bc4

• Workaround https://github.com/rocq-prover/rocq/issues/20668

  CohenCyril

  committed
  c308f51

  Copy full SHA for c308f51

Commits on May 20, 2025

• Isolating HoTT Notations

  CohenCyril

  committed
  07ced19

  Copy full SHA for 07ced19

Commits on May 18, 2025

• Upgrade to Coq 8.20 and 9.0, for std and HoTT

  Show description for 5828c9e
  

  4 peoplecommitted
  5828c9e

  Copy full SHA for 5828c9e

Commits on Apr 18, 2025

• Prove optimality of dependencies for forall and arrow types (#41)

  Show description for 5742b18
  lweqx

  authored
  5742b18

  Copy full SHA for 5742b18

• Create AUTHORS

  CohenCyril

  authored
  46c8dd5

  Copy full SHA for 46c8dd5

Commits on Jan 3, 2025

• update meta and readme (#39)

  CohenCyril

  authored
  f8403f9

  Copy full SHA for f8403f9

Commits on Jul 26, 2024

• updating README

  amahboubi

  committed
  d417b00

  Copy full SHA for d417b00

Commits on Apr 22, 2024

• Better examples about reduction modulo p (#36)

  Show description for e070818
  

  CohenCyril

  and

  amahboubi

  authored
  e070818

  Copy full SHA for e070818

Commits on Feb 1, 2024

• :memo: Doc: composition + begin refinement

  ecranceMERCE

  committed
  b1c881a

  Copy full SHA for b1c881a

Commits on Jan 31, 2024

• :memo: Associated doc on option->list

  ecranceMERCE

  committed
  3a790c4

  Copy full SHA for 3a790c4

• :sparkles: Directed relation option->list

  ecranceMERCE

  committed
  42061d2

  Copy full SHA for 42061d2

• :bug: Bis repetita (suboptimal transitivity proof)

  ecranceMERCE

  committed
  2ea043b

  Copy full SHA for 2ea043b

• :bug: Fix suboptimal transitivity proofs

  ecranceMERCE

  committed
  cec21c1

  Copy full SHA for cec21c1

• :memo: Doc on vector/tuple

  ecranceMERCE

  committed
  1a8f8ad

  Copy full SHA for 1a8f8ad

Commits on Jan 30, 2024

• :memo: Doc on directed relations

  ecranceMERCE

  committed
  1dda38f

  Copy full SHA for 1dda38f

• :globe_with_meridians: URL to GitHub repo

  ecranceMERCE

  committed
  2a3429e

  Copy full SHA for 2a3429e

• Delete artifact-clean.zip

  CohenCyril

  authored
  ee5bf1c

  Copy full SHA for ee5bf1c

Commits on Jan 29, 2024

• :memo: GitHub pages for the project

  ecranceMERCE

  committed
  70524c0

  Copy full SHA for 70524c0

Commits on Jan 24, 2024

• Merge pull request #34 from coq-community/list-finegrained

  Show description for b5bd4bf
  CohenCyril

  authored
  b5bd4bf

  Copy full SHA for b5bd4bf

• adding claim

  CohenCyril

  committed
  766a5d2

  Copy full SHA for 766a5d2

Commits on Jan 23, 2024

• refactoring

  CohenCyril

  committed
  8529657

  Copy full SHA for 8529657

• Stuck translation

  CohenCyril

  committed
  b542c99

  Copy full SHA for b542c99

• Finer-grained hierarchy for list

  CohenCyril

  committed
  d6a0fbc

  Copy full SHA for d6a0fbc

• Merge pull request #33 from coq-community/list-empty

  Show description for 4610307
  CohenCyril

  authored
  4610307

  Copy full SHA for 4610307

Pagination

Previous

Next