package coq-square-matrices
From Fast Exponentiation to Square Matrices
Install
Dune Dependency
Authors
Maintainers
Sources
v8.8.0.tar.gz
md5=d5c82c9fe214e8e1689aa247b375b055
Description
This development is a formalization of Chris Okasaki's article ``From Fast Exponentiation to Square Matrices: An Adventure in Types''
On This Page