Pages that link to "Item:Q1322847"
From MaRDI portal
The following pages link to Synthesis of ML programs in the system Coq (Q1322847):
Displayed 8 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)
- Logic of refinement types (Q6083692) (← links)
- Developing certified programs in the system Coq the program tactic (Q6083698) (← links)