Readings shared March 30, 2025
The readings shared in Bluesky on 30 March 2025 are
- Towards mechanized verification of Verilog equivalence checking. ~ Michalis Pardalos, Laura Pozzi, John Wickerson. #ITP #Coq
- Introducing clean, a formal verification DSL for zk circuits in Lean4. ~ Giorgio Dell'Immagine. #ITP #LeanProver
- #Exercitium: Regiones determinadas por n rectas del plano. #Haskell #ProgramaciónFuncional #Matemáticas
- Demostraciones con Lean4 y con Isabelle/HOL de "La unión del conjunto de los números naturales pares e impares es el conjunto de los naturales". #LeanProver #IsabelleHOL #Math #Calculemus
- Curso "Informática (2010-11)". #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
- Temas de "Programación funcional" (2010-11). #Haskell #ProgramaciónFuncional
- Ejercicios de "Informática de 1º de Matemáticas" (2010–11). #Haskell #ProgramaciónFuncional #Matemáticas
- Exámenes de "Programación funcional con Haskell" Vol. 2 (Curso 2010–11). #Haskell #ProgramaciónFuncional #Matemáticas
- Introducción al cálculo simbólico con Maxima. #CálculoSimbólico #Maxima #Matemáticas