◮ Analyzing theories, ◮ Verifying proofs, ◮ Assist tutoring, (2006)

by Mathlang Encoding , Manuel Maarek , Under Prof , Fairouz Kamareddine , Dr. Joe Wells , Mathlang Encoding