Type Theory Forall (Podcast) - #33 Z3 and Lean, the Spiritual Journey (www.typetheoryforall.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 10 Sep 2023 02:43
https://programming.dev/post/2792891

#programming_languages

threaded - newest