Las lecturas compartidas en Mastodon el 21 de junio de 2024 son

• Lecturas compartidas el 20 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Logic #Math
• Verified extraction from Coq to OCaml. ~ Yannick Forster, Matthieu Sozeau, Nicolas Tabareau. #ITP #Coq #FunctionalProgramming #OCaml
• A verified compiler for a functional tensor language. ~ Amanda Liu,Gilbert Bernstein,Adam Chlipala,Jonathan Ragan-Kelley. #ITP #Coq
• Live verification in an interactive proof assistant. ~ Samuel Gruetter,Viktor Fukala,Adam Chlipala. #ITP #Coq