Pages that link to "Item:Q1040001"
From MaRDI portal
The following pages link to Proof assistants: history, ideas and future (Q1040001):
Displaying 8 items.
- The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
- Social processes, program verification and all that (Q3643359) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- Characteristics of de Bruijn’s early proof checker Automath (Q5089679) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)
