News for hackers. Stuff that matters.

A comment on Logipedia – Encyclopedia of Formal Proofs. Parent comment

Re:Logipedia – Encyclopedia of Formal Proofs by lamacase on Monday March 18, 2019 @11:09AM (#19421677)
How about a "Rosetta Proof" wiki in the style of "Rosetta Code"? You wouldn't need to settle on one language, and it might help clarify the advantages of one language or another.
[ Parent | on HN ]

There are no comments on this comment yet.