Skip to content

Latest commit

 

History

History
16 lines (9 loc) · 435 Bytes

CHANGES.md

File metadata and controls

16 lines (9 loc) · 435 Bytes
Raw

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

2.0.0 (2024-12-17)

All HOL-Light base library lib_hol.ml with alignement of real numbers.

1.0.0 (2024-02-24)

HOL-Light base library up to lists.ml.

0.0.0 (2023-11-06)

HOL-Light base library up to arith.ml.