000
00298nam a2200109 4500
008
160616s 000 0
245
_a
Implementing mathematics with the nuprl proof development system
100
_a
Constable, R.L
500
_a
D6,8(B) M632
942
_c
BK
_2
BK6676
080
_a
519.688 CON
999
_c
6676
_d
6676