Arc Forumnew | comments | leaders | submitlogin
1 point by almkglor 6255 days ago | link | parent

I'm not sure we need a list of defined theorems: apparently the proposed 'modus-ponens function is supposed to accept both source theorems anyway.