Pages that link to "Item:Q2867935"
From MaRDI portal
The following pages link to Web Interfaces for Proof Assistants (Q2867935):
Displayed 4 items.
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (Q5170238) (← links)