Project to make isabelle and the AFP easily searchable. - View it on GitHub