Mathematics professor at UniDistance Switzerland. Interested in number theory and in formal proof verification.
- Brig, Switzerland
-
07:34
(UTC +02:00) - https://orcid.org/0000-0001-9069-1877
Highlights
- Pro
loefflerd isn’t following anybody.
Learn more about being social on GitHub.