corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08770-2b0e-737e-8461-9cd57c69a255

📐Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour

dsyme.net · published 20 April 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at dsyme.net Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
44
Words captured
4,017

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Automate repository tasks with GitHub Agentic Workflows   Read at the source ↗
github.blog
https://github.com/githubnext/agentics/blob/main/docs/lean-squad.md
github.com
https://www.microsoft.com/en-us/research/people/fournet/
microsoft.com
🌈Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflows Read at the source ↗
dsyme.net
Start Your Day With Code That’s Better 🌤️ Read at the source ↗
dsyme.net
https://github.com/features/copilot/cli
github.com
https://github.com/dsyme/raft-lean-squad/issues/94
github.com
https://github.com/tikv/raft-rs
github.com
https://github.com/dsyme/raft-lean-squad/blob/main/formal-verification/RESEARCH.md
github.com
https://github.com/dsyme/raft-lean-squad/blob/main/formal-verification/TARGETS.md
github.com
https://github.com/dsyme/raft-lean-squad/blob/main/formal-verification/REPORT.md
github.com
https://github.com/dsyme/raft-lean-squad/blob/main/formal-verification/CORRESPONDENCE.md
github.com
https://github.com/dsyme/raft-lean-squad/blob/main/formal-verification/CRITIQUE.md
github.com
https://github.com/dsyme/raft-lean-squad/tree/main/formal-verification/lean/FVSquad
github.com
https://github.com/dsyme/raft-lean-squad/blob/222503e7ed2a02d460305d18273d7b9a56679181/formal-verification/lean/FVSquad/RaftTrace.lean
github.com
https://github.com/dsyme/raft-lean-squad/issues/55
github.com
https://github.com/dsyme/raft-lean-squad/issues/144
github.com
https://github.com/dsyme/raft-lean-squad/issues/149
github.com
https://github.com/dsyme/raft-lean-squad/pull/151
github.com
https://github.com/cloudflare/quiche
github.com
https://github.com/dsyme/quiche/blob/master/formal-verification/REPORT.md
github.com
https://github.com/dsyme/quiche/blob/master/formal-verification/CORRESPONDENCE.md
github.com
https://github.com/dsyme/quiche/blob/master/formal-verification/CRITIQUE.md
github.com
https://github.com/dsyme/quiche/blob/master/formal-verification/RESEARCH.md
github.com
https://github.com/dsyme/quiche/blob/master/formal-verification/TARGETS.md
github.com
https://github.com/dsyme/quiche/tree/master/formal-verification/lean
github.com
https://px4.io/
px4.io
https://github.com/fsprojects/PX4-Autopilot/blob/main/formal-verification/REPORT.md
github.com
https://github.com/fsprojects/PX4-Autopilot/blob/main/formal-verification/CORRESPONDENCE.md
github.com
https://github.com/fsprojects/PX4-Autopilot/blob/main/formal-verification/CRITIQUE.md
github.com
https://github.com/fsprojects/PX4-Autopilot/blob/main/formal-verification/RESEARCH.md
github.com
https://github.com/fsprojects/PX4-Autopilot/blob/main/formal-verification/TARGETS.md
github.com
https://github.com/fsprojects/PX4-Autopilot/tree/main/formal-verification/lean
github.com
https://github.com/AeneasVerif/aeneas
github.com
https://www.microsoft.com/en-us/research/publication/proving-java-type-soundness/
microsoft.com
https://www.cl.cam.ac.uk/archive/mjcg/papers/HolHistory.html
cl.cam.ac.uk
https://dl.acm.org/doi/10.1145/3386325
dl.acm.org
Towards Semi-automatic Agentic Performance Engineering Read at the source ↗
dsyme.net
https://github.github.com/gh-aw/
github.github.com
https://github.com/dsyme/raft-lean-squad
github.com
https://github.com/dsyme/quiche
github.com
https://github.com/fsprojects/PX4-Autopilot
github.com
https://bsky.app/profile/dsyme.bsky.social
bsky.app
https://github.com/dsyme/quiche/tree/master/formal-verification
github.com