The book is currently out of stock
A tactic based inductive theorem prover for data types with partial operations
Authors
Book variant
2000Book purchase
The book is currently out of stock.
2000We have tens of thousands of books in stock.
2000We have tens of thousands of books in stock.
2000