TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant

---

Autoria(s): Bryukhov, Yegor; Kopylov, Alexei; Krupski, Vladimir; Nogin, Aleksey

Data(s)	01/01/2004
Formato	application/pdf
Identificador	http://academicworks.cuny.edu/gc_cs_tr/240 http://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1239&context=gc_cs_tr
Idioma(s)	English
Publicador	CUNY Academic Works
Fonte	Computer Science Technical Reports
Palavras-Chave	#Computer Sciences
Tipo	report