Software development ecosystem

Bedrock: A Software Development Ecosystem Inside a Proof Assistant

The benefits of formal correctness proofs for software are clear intuitively, but the high human costs of proof construction have generally been viewed as pr...
Science & Technology video by Youtube Channel


XS

XL

M