install Farmer's IMPS
Feb. 27th, 2006 04:23 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslPromise to self:
As soon as I get Internet at home, I will load Farmer's IMPS (the "Little Theories" system) into my Common Lisp environment, and play with it. I really want an environment in which I can easily express myself formally.
I want an environment which supports:
* proof-checking
* the processes of ontology creation and refinement
* writing and keeping unformalized source text (possibly as "comments")
* proof/argument visualization
Of course, I can't expect all of the above from a proof assistant. I have more work to do.
As soon as I get Internet at home, I will load Farmer's IMPS (the "Little Theories" system) into my Common Lisp environment, and play with it. I really want an environment in which I can easily express myself formally.
I want an environment which supports:
* proof-checking
* the processes of ontology creation and refinement
* writing and keeping unformalized source text (possibly as "comments")
* proof/argument visualization
Of course, I can't expect all of the above from a proof assistant. I have more work to do.