Okay, That Was A Bad Idea...
I'm think I'm through fighting with Twelf. It's theorem prover is almost useless. The whole reason I taught myself how to use the thing was the hope of not have to write the goddamn theorems myself. However. Even if it can't find a proof of a theorem, it would still be nice to have more feedback than a pegged CPU meter and a hung console, which when you interrupt it, it says: %% ABORTED %%.
I wonder if MetaPRL is what I should be using.
My Groups
-
Amnesty International Updated: 8 hours ago
-
Writers Hub Updated: 3 days ago
Neighborhood
Explore friends, family, friends & family, or entire neighborhood.
