Web-of-Trust in Axiomatic systems

Remco Bloemen
Math & Engineering
https://2π.com