User:Jcreed
From The Twelf Project
I'm a graduate student at CMU. I have web pages at www.cs.cmu.edu/~jcreed and jcreed.org.
Views
Personal tools
the twelf wiki
learn twelf
reference
- This page was last modified 14:36, 24 October 2006.
- This page has been accessed 226 times.
- Content is available under The MIT License (unless a tag indicates otherwise).
- <br/>Download Twelf
- About The Twelf Project
- Disclaimers