New: signed signed the LemmaSharp assembly