Readings shared November 26, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/26-readings_shared_11-26-24 #ITP #Lean4 #IsabelleHOL #Logic #Math #Prolog #LogicProgramming #Z3 #SMT #AI #Education
Discussion
No replies yet.
Readings shared November 26, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/26-readings_shared_11-26-24 #ITP #Lean4 #IsabelleHOL #Logic #Math #Prolog #LogicProgramming #Z3 #SMT #AI #Education
No replies yet.