Scratchbox, a cross-compilation toolkit for embedded Linux application development
invented by Veli Kaksonen http://piipiip.net/~veli
Tuesday, January 08, 2008
Open source test suites
Coq for POPL folk
Coq for POPL folk
Using Proof Assistants for Programming Language Research or, How to write your next POPL paper in Coq
Using Proof Assistants for Programming Language Research or, How to write your next POPL paper in Coq
Subscribe to:
Posts (Atom)