News for hackers. Stuff that matters.

A comment on Immersive Linear Algebra (2016). Parent comment

Re:Immersive Linear Algebra (2016) by krapht on Wednesday February 27, 2019 @04:45PM (#19267242)
You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/
[ Parent | on HN ]

There are no comments on this comment yet.