start | find | index | login or register | edit
Twelf
by earl, 4238 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
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6768 days • c'est un vanilla site