Proofwatch

swMATH28654MaRDI QIDQ40368FDOQ40368

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-94821-8_16

Described by source

• ProofWatch: watchlist guidance for large theories in E

Cited In (3)

• Faster, higher, stronger: E 2.3
• Fast and slow enigmas and parental guidance
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)

This page was built for software: Proofwatch