All pull requests

Pull requests

• Add ↔︎ with text variation selector as a notation for equivalence.

  #311·zacharie-moughanim opened Sep 24, 2026·

  ·

• Qround.v: Add more rounding functions

  #291·RyanGlScott opened Jul 13, 2026Contributor·

  ·
  1

  3

• Adapt to rocq-prover/rocq#22113 (Proof Using Clear Unused)

  #276·SkySkimmer opened Jun 10, 2026Contributor·

  ·

• Small Linting of the code base to have a tab of 2

  #266·thomas-lamiaux opened May 17, 2026Contributor·

  ·
  4

• Add a Version file allowing to identify the stdlib version from Rocq

  #263·mattam82 opened May 11, 2026Member·

  ·
  15

• Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1)

  #251·fajb opened Apr 1, 2026Contributor·

  ·
  15

• remove goal-modifying uses of injection

  #248·andres-erbsen opened Mar 17, 2026Collaborator·

  ·

• Wellfounded/Inclusion.v add lemma for when the inclusion is partial

  #238·SkySkimmer opened Feb 18, 2026Contributor·

  ·
  3

• Rewrite Vector using list and small inversions

  #170·andres-erbsen opened Jun 11, 2025Collaborator·

  ·
  1

• Run test-suite on Alpine CI

  #169·andres-erbsen opened Jun 9, 2025Collaborator·

  ·

• Deprecate Relation_definitions, remove from supported files

  #162·andres-erbsen opened Jun 3, 2025Collaborator·

  ·
  1

• use RelationClasses instead of Relations_1 in Sorting

  #152·andres-erbsen opened May 31, 2025Collaborator·

  ·

• remove Heap, PermutEq, and PermutSetoid from Sorting

  #151·andres-erbsen opened May 31, 2025Collaborator·

  ·
  4

• memb and nodupb in ListDec.v

  #132·Villetaneuse opened Apr 14, 2025Contributor·

  ·
  1

• Subtraction in NatInt

  #119·Villetaneuse opened Mar 10, 2025Contributor·

  ·
  3

• Rify + lra solves Mixed Integer Programs

  #110·fajb opened Feb 24, 2025Contributor·

  ·