Trying to prove the Linear Algebra of Programming Properties (LAOP) instantiated for the indutive matrix definition provided by the laop library for Haskell.
bolt12 / laop_coq Goto Github PK
View Code? Open in Web Editor NEWTrying to prove the Linear Algebra of Programming Properties (LAOP) instantiated for the indutive matrix definition provided by the laop library for Haskell.
License: MIT License