+1

public/_redirects

··· 0

··· 1 + /lean-for-javascript-developers/ /a-lean-syntax-primer/

public/lean-for-javascript-developers/1.png public/a-lean-syntax-primer/1.png

public/lean-for-javascript-developers/10.png public/a-lean-syntax-primer/10.png

public/lean-for-javascript-developers/11.png public/a-lean-syntax-primer/11.png

public/lean-for-javascript-developers/12.png public/a-lean-syntax-primer/12.png

public/lean-for-javascript-developers/13.png public/a-lean-syntax-primer/13.png

public/lean-for-javascript-developers/14.png public/a-lean-syntax-primer/14.png

public/lean-for-javascript-developers/15.png public/a-lean-syntax-primer/15.png

public/lean-for-javascript-developers/16.png public/a-lean-syntax-primer/16.png

public/lean-for-javascript-developers/17.png public/a-lean-syntax-primer/17.png

public/lean-for-javascript-developers/18.png public/a-lean-syntax-primer/18.png

public/lean-for-javascript-developers/19.png public/a-lean-syntax-primer/19.png

public/lean-for-javascript-developers/2.png public/a-lean-syntax-primer/2.png

public/lean-for-javascript-developers/20.png public/a-lean-syntax-primer/20.png

public/lean-for-javascript-developers/24.png public/a-lean-syntax-primer/24.png

public/lean-for-javascript-developers/25.png public/a-lean-syntax-primer/25.png

public/lean-for-javascript-developers/26.png public/a-lean-syntax-primer/26.png

public/lean-for-javascript-developers/27.png public/a-lean-syntax-primer/27.png

public/lean-for-javascript-developers/3.png public/a-lean-syntax-primer/3.png

public/lean-for-javascript-developers/4.png public/a-lean-syntax-primer/4.png

public/lean-for-javascript-developers/5.png public/a-lean-syntax-primer/5.png

public/lean-for-javascript-developers/6.png public/a-lean-syntax-primer/6.png

public/lean-for-javascript-developers/7.png public/a-lean-syntax-primer/7.png

public/lean-for-javascript-developers/8.png public/a-lean-syntax-primer/8.png

public/lean-for-javascript-developers/9.png public/a-lean-syntax-primer/9.png

+1 -1

public/lean-for-javascript-developers/index.md public/a-lean-syntax-primer/index.md

··· 1 --- 2 - title: Lean for JavaScript Developers 3 date: '2025-09-02' 4 spoiler: Programming with proofs. 5 bluesky: https://bsky.app/profile/danabra.mov/post/3lxuhfavafc2p

··· 1 --- 2 + title: A Lean Syntax Primer 3 date: '2025-09-02' 4 spoiler: Programming with proofs. 5 bluesky: https://bsky.app/profile/danabra.mov/post/3lxuhfavafc2p