1 Pull request merged by 1 person

• update ubuntu runner

  #382 merged Apr 28, 2025

1 Issue closed by 1 person

• Please always let the matcher don't ignore the target OEIS sequence when using manual submit.

  #380 closed Apr 28, 2025

2 Issues opened by 2 people

• Add formula generation for equ,neq,geq,leq,dgs and a command suggestion

  #383 opened Apr 29, 2025

• Improve user feedback of `submit` command

  #381 opened Apr 28, 2025