Record Subtyping in Coq, questions and references requested

前端未结

关注

 0  1078

I\'ve been looking for references discussing subtyping in Coq with respect to records, but have come up dry.

I\'m specifically wondering what the Record _ : _ :


                      
              相关标签: