How we prevent conflicts in authoritative DNS configuration using formal verification (via veqq) — discussion

#formalmethods #lisp