Readings shared August 31, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/31-readings_shared_08-31-24 #ITP #Lean4 #IsabelleHOL #Theorema #Coq #Agda #Math #HoTT #Calculemus #PhDThesis

Certification of sorting algorithms using Theorema and Coq. ~ Isabela Drămnesc, Tudor Jebelean & Sorin Stratulat. https://inria.hal.science/hal-04678850/file/paper-scss-2024.pdf #ITP #Theorema #Coq

#KnowledgeByte: Carl Friedrich Gauss's #Theorema #Egregium, which translates to "Remarkable Theorem" in Latin, is a fundamental concept in differential geometry. It deals with the curvature of surfaces.

https://knowledgezone.co.in/posts/Gausss-Remarkable-Theorem-668e34e7bb0b33dde59aaabf

Lecturas compartidas el 30 de mayo de 2024. https://jaalonso.github.io/vestigium/posts/2024/05/31-lecturas_compartidas_el_30-may-24 #ITP #Lean4 #IsabelleHOL #Coq #Theorema #HOL_Light #Math #ATP #Prover9 #Vampire #TPTP #FunctionalProgramming #Haskell #LogicProgramming #Prolog #AI #LLMs

Certification of tail recursive bubble–sort in Theorema and Coq. ~ Isabela Dramnesc, Tudor Jebelean, and Sorin Stratulat. https://easychair.org/publications/download/tbwq #ITP #Coq #Theorema