type checking - Robuta Search

https://samuelstevens.me/writing/matrix-type-checking

Can we use static type checking to make sure matrix multiplication works?

https://github.com/typefox/typir

Typir is an open source library for type checking in the web - TypeFox/typir

https://ammkrn.github.io/type_checking_in_lean4/whats_a_kernel.html

https://unsafeperform.io/blog/2010-10-23-the_case_for_compositional_type_checking/