Arc Forumnew | comments | leaders | submitlogin
1 point by almkglor 6183 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.