Petr:

Url:

https://trianguloy.github.io/githubPages/Petr/petr.html

Description:

This is a custom implementation of the Petr–Douglas–Neumann theorem.

This was made as a response to the Petr’s miracle: Why was it lost for 100 years? (Mathologer Masterclass) video by Mathologer.