Pages that link to "Item:Q2843015"
From MaRDI portal
The following pages link to A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015):
Displaying 5 items.
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (Q2364696) (← links)
- (Q4798009) (← links)
- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? (Q5495927) (← links)