News for hackers. Stuff that matters.

A comment on A pilot project in universal algebra to explore new ways to collaborate.

Re:A pilot project in universal algebra to explore new ways ... by practal on Friday September 27, 2024 @07:14AM (#41668939)
This is a great post, and full of inspiring ideas for what kind of work flows and features a modern theorem proving system could support.
[ Parent | on HN ]

There are no comments on this comment yet.