The Hitchhiker's Guide to ...
Tuesday, December 16, 2008
Coq virtual machine project
Andreas gives an update on the
current state of the Coq Virtual machine
.
Until now there were only informations on
Eliots blog
available and its good to get a summary of the overall plan now.
No comments:
Post a Comment
Newer Post
Older Post
Home
View mobile version
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment