🎬 makertube.net makertube.net
Dependent Types (DTT) & Logic (HOL) for AI Agent Ready Knowledge Graphs
Book : https://leanpub.com/dependenttypesdttlogicholforaiagentreadyknowledgegraphs
↗https://makertube.net/w/5Hza47DE9d7ia9hf6DWYEG
Indexiert von findnix.eu · Eigene Seite einreichen