@kbo’s recent proofs:

• https://github.com/kevinbosak, 10 months ago

Home