Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

fixed proof that was broken by new linarith

Changeset 8010:4e78284c02f7 by nipkow: fixed proof that was broken by new linarith
The file was modified	`thys/Bertrands_Postulate/Bertrand.thy` (diff)