type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers
llama.cpp guide: running gpt-oss with llama.cpp
simonwillison.net·5d
Loading...Loading more...
type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers