41554 blogs · 4,504,310 posts Claim your blog

Record · corpus.blog/posts/01a08758-2aa3-705a-b3a2-d4f4d19d4c7b

Learning Some Lean

bradleygannon.com · published 18 September 2025

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 bradleygannon.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 7
Words captured: 844

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://lean-lang.org/functional_programming_in_lean/

lean-lang.org

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer-science-spring-2024/

ocw.mit.edu

https://github.com/leanprover/vscode-lean/blob/master/src/abbreviation/abbreviations.json

github.com

https://adam.math.hhu.de/

adam.math.hhu.de

https://github.com/lean-forward/logical_verification_2024/blob/main/hitchhikers_guide_2024_desktop.pdf

github.com

https://leanprover.github.io/theorem_proving_in_lean4/

leanprover.github.io

https://djvelleman.github.io/HTPIwL/

djvelleman.github.io