7 Pull requests merged by 1 person

• Bump coqprime from 845c00c to 09db3f8

  #2006 merged Jan 16, 2025

• Bump coqprime from 845c00c to 09db3f8

  #2005 merged Jan 16, 2025

• Bump etc/coq-scripts from 4327aa1 to bf7754a

  #2003 merged Jan 15, 2025

• Bump rewriter from 30c8507 to 69cccb7

  #2002 merged Jan 15, 2025

• Bump etc/coq-scripts from 9479734 to bf7754a

  #2004 merged Jan 15, 2025

• Bump rewriter from 1e36197 to 30c8507

  #1999 merged Jan 14, 2025

• Bump etc/coq-scripts from 4327aa1 to 9479734

  #2001 merged Jan 14, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• notes on pairings

  #526 commented on Jan 14, 2025 • 0 new comments