Point-free calculational proofs and program derivation in linear algebra using a graphical syntax. - Júlia Mota; João A. R. Paixão; Lucas Rufino Martelotte (J. Funct. Program., 2025)