Code

non-looping rwHyps#119

Code

Merged

liyishuai merged 3 commits intocoq-community:mastercoq-community/coq-ext-lib:masterfrom aa755:patch-1aa755/coq-ext-lib:patch-1Copy head branch name to clipboardJan 10, 2024

Commits

Commits on Jan 4, 2024

• non-looping rwHyps

  

  aa755

  authored and

  liyishuai

  committed
  e51a68b

  Copy full SHA for e51a68b

• fixed compilation error

  

  aa755

  authored and

  liyishuai

  committed
  16cdefa

  Copy full SHA for 16cdefa

Commits on Jan 10, 2024

• Merge branch 'master' into patch-1

  aa755

  authored
  a7d6c86

  Copy full SHA for a7d6c86