{"v":"#head@55aca6e8ebb4593221bc65146e4eb3a2c982beeb","r":[],"a":"Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>","d":"FFI bindings to libproven -- formally verified safety primitives","l":"MPL-2.0"}