Pull requests

• Change trigger from push to pull_request

  #252·pimotte opened Oct 12, 2026Contributor·

  ·
  

• Fix bug with negation

  #251·pimotte opened Oct 12, 2026Contributor·

  ·

• WIP: French support

  #241·pimotte opened Jul 2, 2026Contributor·

  ·
  1

• Adapt to https://github.com/rocq-prover/stdlib/pull/251

  #234·proux01 opened Apr 13, 2026Contributor·

  ·