Contents

James Wood

Back home

import VecMat  -- Vectors and Matrices in Agda (2019-08-22)