Top New Trends Comments Past Ask Show Jobs

angara · HackerTrans

angara

no profile record

comments

·6 ปีที่แล้ว·discuss

Fascinating, do you have any links to papers about machine-verifiable formalisms?