neilernst rated Mechanizing Proof: 4 stars
Mechanizing Proof by Donald MacKenzie
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and …
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and …