José A. Alonso
Readings shared July 25, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/26-readings_shared_07-25-25 #ACL2 #AI4Math #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Readings shared July 25, 2025

The readings shared in Bluesky on 25 July 2025 are A formalization of elementary linear algebra: Part I. ~ David Russinoff. #ITP #ACL2 #Math A formalization of elementary linear algebra: Part II. ~ D

Vestigium
Jul 26, 2025 at 6:49amWeb