lean-murphi An embedding of the Murphi model checking language into Lean Currently this is only a syntactic embedding