Arc Forumnew | comments | leaders | submitlogin
1 point by sacado 6242 days ago | link | parent

Garbage collection does not work here if you keep a track of all the defined theorems in a list as 'known*. We would need weak references to achieve this.


1 point by almkglor 6242 days ago | link

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.

-----