I’ve been working on a proof assistant for LF signatures as a part of my PhD program. The project is called Adelfa.