Code

Unification structure#59

Code

Open

herbelin wants to merge 3 commits intocoq:mastercoq/rfcs:masterfrom herbelin:unification-structureherbelin/ceps:unification-structureCopy head branch name to clipboard

+268

Commits

Commits on Aug 31, 2021

• Towards better structuring the current Coq unification algorithm.

  herbelin

  committed
  0b3a2ee

  Copy full SHA for 0b3a2ee

Commits on Nov 3, 2021

• Update text/unification.md

  Show description for c5d0289
  

  herbelin

  and

  JasonGross

  authored
  c5d0289

  Copy full SHA for c5d0289

• Apply suggestions from code review

  Show description for fef7e85
  

  herbelin

  and

  JasonGross

  authored
  fef7e85

  Copy full SHA for fef7e85