Twelf
by earl, 6132 days ago
"Twelf is a research project concerned with the design, implementation, and application of logical frameworks"- http://www.cs.cmu.edu/~twelf/
- http://jlouisramblings.blogspot.com/2007/12/lambda-calculus-interpreter-in-twelf.html
search
41 active users
- unknown (41)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
