[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Point-Free, Set-Free Concrete Linear Algebra

✍ Scribed by van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek

• Book ID: 117999131
• Publisher: Springer Berlin Heidelberg
• Year: 2011
• Weight: 248 KB
• Category: Article
• ISBN: 3642228631
• DOI: 10.1007/978-3-642-22863-6_10