Conclusion

Contributions

• Axiom ordering and selection useful in Large Theories
• Prophet and APRILS have many applications
• Starting in the middle works

Current Work

• Optimizing APRILS
• Applications