![](https://media.springernature.com/w90/springer-static/cover/journal/10817/44/1.jpg?as=webp)
Volume 44, Issue 1-2
February 2010Special Issue: Programming Languages and Mechanized Mathematics Systems / Guest Edited by Jacques Carette, Makarius Wenzel and Freek Wiedijk
7 articles in this issue