Metamath-lamp version 25 released

53 views

Skip to first unread message

unread,

Nov 2, 2024, 6:32:03 AM11/2/24

to Metamath

Hi all,

Metamath-lamp version 25 has been released.

All changes are listed in its CHANGELOG.md.

There is also a new metamath-lamp-docs repository with some documentation explaining new features.

Best regards,

Igor

Reply all

Reply to author

Forward

0 new messages