isl-lang.org / blog

Blog

Writing on ISL, intent contracts, and the future of AI-generated code verification.

• 2026-01-31

  Origins of ISL

  Why intent contracts for AI-generated code are necessary, and how ISL came to be.

  →

More posts coming. Subscribe via /feed.xml (RSS).