coq-extensible-records Versions (3)

Version Release Date Links
1.2.0 12 May 2019 Documentation
1.1.0 12 May 2019 Documentation
1.0.0 12 May 2019 Documentation