A Review of the Lean Theorem Prover | Jigger Wit - discu.eu

Hacker News

A Review of the Lean Theorem Prover https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/ 11 comments 27/12/2020

Linking pages

The NSA back door to NIST | Jigger Wit http://jiggerwit.wordpress.com/2013/09/25/the-nsa-back-door-to-nist/ 191 comments

Related searches:

Search whole site: site:jiggerwit.wordpress.com

Search title: A Review of the Lean Theorem Prover | Jigger Wit

See how to search.

Submit link to: