package coq-square-matrices
From Fast Exponentiation to Square Matrices
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=d1fa4ac16cf9546550a0cb5efb2fac4e
Description
This development is a formalization of Chris Okasaki's article ``From Fast Exponentiation to Square Matrices: An Adventure in Types''
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page