lean dojo

Stream: general

[Frederick Pu]

Any way to test lean dojo on a specific file. I can't load the entire mathlib. I want to figure out how to get the strings for each theorem statement proof pair.