undefined | Better HN

0 pointsangara5y ago0 comments

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

0 comments

That’s the best I can do, sorry.

j / k navigate · click thread line to collapse

0 pointsangara5y ago0 comments

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

That’s the best I can do, sorry.

j / k navigate · click thread line to collapse