News for hackers. Stuff that matters.

A comment on Some stuff I found interesting about number theory research. Parent comment

Re:Some stuff I found interesting about number theory research by Someone on Monday July 26, 2021 @02:38AM (#27956385)
https://sciendo.com/journal/FORMA gets close, I think (I don’t think it only publishes formally verified results. It likely also accepts more philosophical texts about formal verification). There’s also http://mizar.org/JFM/

I don’t think such journals can be the full solution, though.

Problem is that to entice mathematicians who don’t like formal verification to publish in it.

[ Parent | on HN ]

There are no comments on this comment yet.