The official HOL Standards SDK, implementing the standards found in https://hol.org/docs/standards
453
16
10
