search

Lysxia / coq-ceres

Coq library for serialization to S-expressions
MIT License
18 stars 1 forks source link

Attribute instance locality explicitly #29

Closed liyishuai closed 2 years ago

liyishuai commented 2 years ago

Fix compatibility with Coq dev