Hesper Tutorial

HTML renderings of the chapter notebooks generated from docs/tutorial/md/*.md via xlean-convert + jupyter nbconvert. Source markdown is the authoritative form; these HTML pages are convenience.

• ch00-setup
• ch01-leanforml
• ch01b-yourfirstproject
• ch02-dsl
• ch03-ad
• ch04-highlevelapi
• ch05-backends
• ch06-proofs
• ch07-bitnet
• ch08-gemma4
• ch09-embedding
• ch10-architecture
• ch11-dataanalysis

← back to top