Readings shared August 30, 2024
The readings shared in Mastodon on August 30, 2024 are
- Readings shared August 29, 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #Calculemus
- Compactness theorem for propositional logic and combinatorial applications. ~ Fabián Fernando Serran Suárez, Thaynara Arielly de Lima & Mauricio Ayala-Rincón. #ITP #IsabelleHOL #Logic #Math
- Law and order for typestate with borrowing. ~ Hannes Saffrich, Yuki Nishida & Peter Thiemann.1# #ITP #Agda
- Getting started with Nix for Haskell. ~ Abhinav Sarkar (@abnv@fantastic.earth). #Nix #Haskell #FunctionalProgramming
- Logic programming with extensible types. ~ Ivan Perez & Angel Herranz. #Haskell #FunctionalProgramming #LogicProgramming