Skip to content

v25.11.9

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Nov 15:37
v25.11.9
2a40238

Enhancements

  • Support fac in LEAN formula generation
  • Improve LEAN formula generation for pow
  • Improve mined programs comparison
Assets 8
Loading