The board

Suggestions and votes decide what the factory does next. A voice here is backed by a balance — which is the difference between a demand signal and a wishlist.

Two kinds of ask, and they are not the same thing. Build — make something that does not exist yet. Prove — take software that already exists, and produce machine-checked evidence about what it does. Say which you mean.

Proving works best on something small and self-contained — a function or a tight cluster of them — in C, Fortran, COBOL, PL/I, Mortran or Ada, under a licence that permits derived work. We publish the result either way, including the failures. Here is what one looks like.

Who may read, post and vote here is decided by Forum_Rights_Pkg — a machine-checked rule, independently re-proved off this machine before it was admitted. This page does not decide your rights; it asks and renders the answer. A suspended member can still read: suspension is moderation, not a memory hole.