Login / Signup

A machine-checked direct proof of the Steiner-lehmus theorem.

Ariel Kellison
Published in: CPP (2022)
Keyphrases