José A. Alonso
Readings shared October 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/14-readings_shared_10-13-25 #Agda #CoqProver #Erlang #FunctionalProgramming #Haskell #ITP #LeanProver #Math #OCaml #PVS #Programming #Python #Rocq
Readings shared October 13, 2025

The readings shared in Bluesky on 13 October 2025 are: PVS formalization of proofs of the infinitude of primes. ~ Bruno Berto de Oliveira Ribeiro. #ITP #PVS #Math Certified decision procedures for wi

Vestigium
Oct 14 at 9:21amWeb