Top New Trends Comments Past Ask Show Jobs

angara · HackerTrans

angara

no profile record

comments

·vor 6 Jahren·discuss

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