Skip to content

Proposing to associate a qualified name to section variables so as to distinguish them from (other) goal variables#51

Open
herbelin wants to merge 3 commits intocoq:masterfrom herbelin:section-goal-vars-distinction

Commits

Commits on Mar 1, 2021

Commits on Jul 11, 2021