The following pages link to One Logic to Use Them All (Q4928425):
Displaying 9 items.
- On the diversity of asynchronous communication (Q315311) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- The matrix reproved (verification pearl) (Q1703015) (← links)
- Indexed and fibred structures for Hoare logic (Q2219084) (← links)
- To be fair, use bundles (Q2408744) (← links)
- WhyMP, a formally verified arbitrary-precision integer library (Q2673999) (← links)
- A Why3 proof of GMP algorithms (Q5130751) (← links)
- One pendulum to run them all (Q5417161) (← links)
- A Generic Intermediate Representation for Verification Condition Generation (Q5743596) (← links)