type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers
Nikon’s first RED co-brand is the Nikon ZR
theverge.com·12m
Loading...Loading more...
type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers