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?