The isabelle AFP project (https://www.isa-afp.org) might be interesting to you.