ACER

MaRDI QIDQ5974099swMATHFDO

Official website https://github.com/dchetelat/acer

Source code repository https://github.com/dchetelat/acer

Cited in

(2)

• Guiding an automated theorem prover with neural rewriting
• Twee

This page was built for software: ACER