5,738 followers
RT @stacked_automat: The Seventeen Provers of the World (2006) : Widijk, Freek DOI: https://t.co/uysBDhicFH #comparison #logic #programming…
RT @stacked_automat: The Seventeen Provers of the World (2006) : Widijk, Freek DOI: https://t.co/uysBDhicFH #comparison #logic #programming…
The Seventeen Provers of the World (2006) : Widijk, Freek DOI: https://t.co/uysBDhicFH #comparison #logic #programming #prover #review #my_bibtex
The Seventeen Provers of the World (2006) : Widijk, Freek DOI: https://t.co/uysBDhicFH #comparison #logic #programming #prover #review #my_bibtex
@andrejbauer have you seen this? https://t.co/XY3L7dtxkT