CHANGES (p.orthologic-coq.0.9.1.doc.CHANGES)

Up – Package index » orthologic-coq » CHANGES

v0.9 (2025-04-07)

Initial Release.

orthologic-coq
- CHANGES
- README
- Library orthologic-coq.plugin
  - OLCoq
- Sources