Arc Forumnew | comments | leaders | submit login

3 points by Pauan 3200 days ago | link | parent I can't really answer that. Somebody would need to write an "eval" function in Arc. That would give you a pretty good starting point for figuring out how many axioms you need.