Branches

• master default protected

  09e43579 · compile with rocq 9.0.0 · 2 days ago
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar
• sortingNoKleene

  e5471748 · sorting finished and names type changed to eqType · 8 months ago
  53

  4
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• sac2025

  85909181 · all done for sac25 · 11 months ago
  58

  1
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• concreteBigraphs

  42ed8496 · quickfix bij_id · 11 months ago
  64

  7
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• vanillaCoq

  7d22ce8c · last commit before switching to mathcomp · Sep 3, 2024
  88

  0
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• sefmwithderivedoperators

  9ead4342 · compiles · Jul 17, 2024
  98

  13
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• sefm24

  aad6256e · cleaned · Jun 28, 2024
  98

  15
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• ioToProp

  3081fc8b · stck w reflexivity · Dec 5, 2023
  223

  2
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• portOut

  60b4ebbd · tried having port out · May 15, 2023
  307

  1
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare
• allParameters

  993b33c9 · stopped in tracks · May 11, 2023
  308

  2
  Download

  • Download source code
    • zip
    • tar.gz
    • tar.bz2
    • tar

  More actions

  • Compare