Source: cirosantilli/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>.