Document Type
Technical Report
Publication Date
2004
Recommended Citation
Bryukhov, Yegor; Kopylov, Alexei; Krupski, Vladimir; and Nogin, Aleksey, "TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant" (2004). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/240