The following pages link to (Q3804241):
Displaying 10 items.
- Theo: An interactive proof development system (Q688727) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- An overview of the Tecton proof system (Q1341710) (← links)
- Automated natural deduction in THINKER (Q1577335) (← links)
- Strategic construction of Fitch-style proofs (Q1577337) (← links)
- Isabelle/jEdit – A Prover IDE within the PIDE Framework (Q2907353) (← links)
- (Q4028137) (← links)
- A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) (Q5049030) (← links)
- Mollusc a general proof-development shell for sequent-based logics (Q5210817) (← links)
- The Alf proof editor and its proof engine (Q6083695) (← links)