Introduction to Formal Verification with Lean Part 1 (hashcloak.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hashcloak.com: Introduction to Formal Verification with Lean Part 1

First screen, captured 3 months ago.

Looks similar

Screenshot of theoric.com: LeanDB a strongly Typed SQL front end

LeanDB a strongly Typed SQL front end (theoric.com)

4 points by hargup 2 months ago | 1 comments

Screenshot of lightning.ai: Takeaways from hundreds of LLM finetuning experiments with LoRA

Takeaways from hundreds of LLM finetuning experiments with LoRA (lightning.ai)

236 points by rasbt 3 years ago | 36 comments

Screenshot of step-saga-examples.pages.dev: I Reverse Engineered Vercel's v0.dev Prompt and Code Optimization Logic

I Reverse Engineered Vercel's v0.dev Prompt and Code Optimization Logic (step-saga-examples.pages.dev)

17 points by swyx 2 years ago | 4 comments

Screenshot of sdiehl.github.io: From Zero to QED: An informal introduction to formality with Lean 4

From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)

131 points by rwosync 10 months ago | 17 comments

Screenshot of walkinglabs.github.io: Learn Harness Engineering

Learn Harness Engineering (walkinglabs.github.io)

112 points by redbell 5 months ago | 13 comments

Screenshot of lakesare.brick.do: Lean, Coq and other proof assistants: Visualising proofs as trees

Lean, Coq and other proof assistants: Visualising proofs as trees (lakesare.brick.do)

138 points by lakesare 3 years ago | 25 comments