Yeah, based on the title and where it's from I half expected it to be some kind of DSL based on Julia. Instead it's based on Coq which gives them formal verification capability.