Ngenge Senior is a member of the ProofMode development team, working on integration of libProofMode into third-party applications. Here is an excerpt and link to a recent blog post on the subject.

https://proofmode.org/blog/integrating-proofmode-library
cc @proofmode #icanproveit #proofmode