José A. Alonso
Readings shared March 01, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/02-readings_shared_02-01-26 #ITP #LeanProver #RocqProver
Readings shared March 1, 2026

The readings shared in Bluesky on 1 March 2026 are: Lean for science formalization. ~ Przemyslaw Chojecki. #LeanProver #ITP Vibe-coding a debugger for a DSL. ~ Joachim Breitner. #LeanProver Bidirecti

Vestigium
Mar 2 at 8:13amWeb