Proofwatch

swMATH28654MaRDI QIDQ40368FDOQ40368

Author name not available (Why is that?)

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