Panta Rhei Research
Users following Panta-Rhei-Research
Dr. Thorsten Fuchs
ThorFuchs
PhD mathematician; former McKinsey, Microsoft, AWS, and ServiceNow. Building TauLib in Lean 4 and the Panta Rhei Research Program.
@Panta-Rhei-Research Munich
