[isabelle] formalization of linear algebra in Isabelle



Dear experts:
   Do you know some work on linear algebra formalization in Isabelle, e.g., matrix...


reagrds
yongjian Li

2014-04-09 



lyj238 



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.