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.

Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?