Logic and Computation Intertwined (via veqq) — discussion

#formalmethods #lisp