Some considerations on the usability of interactive provers (0)

by Andrea Asperti, Claudio Sacerdoti Coen
Venue:In Intelligent Computer Mathematics, 10th International Conference
Add To MetaCart
Results 1 - 1 of 1

11111111111111110000000 1111111

by unknown authors
"... 0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111 ..."
Abstract - Add to MetaCart
0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111 0000000000000000 11111111111111110000000 1111111