Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:conjunctions_of_predicates [2008/05/08 12:55] vkuncak |
sav08:conjunctions_of_predicates [2009/04/01 03:21] (current) vkuncak |
||
---|---|---|---|
Line 16: | Line 16: | ||
Is it the case that $\alpha(\gamma(a))=a$? | Is it the case that $\alpha(\gamma(a))=a$? | ||
+ | |||
+ | Using a theorem prover to compute $sp^\#$. | ||