lean-refactor-arena / cslib /NOTATION.md

Commit History

Add CSLib project-resident benchmark rows with in-project compilation
2d96aec

mikeljl Claude Opus 4.8 commited on