circuits/Data/Matrix/BaseChange.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-07-09T17:20:43+00:00
Fix equivalence of rig homomorphisms
2026-07-09T17:20:43+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-09T17:20:43+00:00
urn:sha1:6a0549f4c5a93a1817cd311440de156c3283ba27
Update matrices and vectors
2026-07-07T20:09:11+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-07T20:09:11+00:00
urn:sha1:61549e3d703bdc5a017833a01febb9c46d95ec17