Top New Trends Comments Past Ask Show Jobs

angara · HackerTrans

angara

no profile record

comments

·il y a 6 ans·discuss

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