Pages that link to "Item:Q1322847"
From MaRDI portal
The following pages link to Synthesis of ML programs in the system Coq (Q1322847):
Displaying 7 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Program extraction from normalization proofs (Q817701) (← links)
- Uniform Heyting arithmetic (Q1772775) (← links)
- Code-carrying theories (Q2643124) (← links)
- Tool Support for Proof Engineering (Q2867938) (← links)
- A Short Presentation of Coq (Q3543643) (← links)
- Theoretical computer science: computability, decidability and logic (Q6602262) (← links)
