Implementing Mathematics with the NuPrl Proof Development System (0)

by Y Coscoy, G Kahn, L Th'