Top New Trends Comments Past Ask Show Jobs

angara · HackerTrans

angara

no profile record

comments

·6 jaar geleden·discuss

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