Pages that link to "Item:Q2323449"

The following pages link to Formally verifying the solution to the Boolean Pythagorean triples problem (Q2323449):

Displaying 2 items.

• A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
• \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)