Livejournal
Log in
Post
Friends
My journal
triampurum
Point-free, Set-free concrete linear algebra
Nov 11, 2013 16:55
Coq formalisation,
http://wiki.portal.chalmers.se/cse/uploads/ForMath/mxlinalg
Leave a comment
Comments 1
ex_juan_gan
November 11 2013, 15:41:42 UTC
Hilarious.
Why not separate operator and basis. Matrix is secondary.
Reply
Leave a comment
Up
Comments 1
Why not separate operator and basis. Matrix is secondary.
Reply
Leave a comment