bookofproofs

= BookofProofs
{c}

https://www.bookofproofs.org/

No open signup it seems. TODO CV of owner.

They are making a <proof assistant> to integrate into the website: https://github.com/bookofproofs/fpl/[], reminds <Ciro Santilli> of <website front-end for a mathematical formal proof system>.

Back to article page