Get the latest tech news

The Foundation of a Generic Theorem Prover (1989) [pdf]

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of foundation

foundation

Related news:

Apple Joins the SeL4 Foundation

Faer-rs: Linear algebra foundation for Rust

RIP Peter Higgs, who laid foundation for the Higgs boson in the 1960s

« Black Basta Ransomware Attack Brought Down Ascension IT Systems, Report Finds

Rustls Can Now Work With Nginx Via New OpenSSL Compatibility Layer »