Report Computer Science Mathematics
STEM, Research, Leadership & Research Laidlaw Scholars, EPFL, IESE Business School

Beyond the Illusion of Rigor: A Data-Driven Strategy for Integrating Lean 4 into Undergraduate Mathematics

Go to the profile of Jérémy Digard
Jérémy Digard
Mathematics, EPFL

Share this post

Choose a social network to share with, or copy the URL to share elsewhere

Share with...

This is a representation of how your post may appear on social media. The actual post will vary between social networks

Preview

Download PDF Open

Related Content

Laidlaw Scholars Network
Laidlaw Scholars Network Laidlaw Scholars Network

tropical algebra in lean 4

When an accident disrupted an equestrian triathlon, I built a real-time rescheduling app powered by tropical algebra. To guarantee its reliability, I formalized the Max-Plus Spectral Theorem in Lean 4, bridging machine-checked mathematics with a real-world application.
Go to the profile of Jérémy Digard
Jérémy Digard (He/Him)
Mathematics, EPFL

Mathematics researcher at EPFL, Laidlaw Scholar, and systems optimizer. I specialize in formalizing mathematics in Lean 4 (currently researching with Fields Medalist Prof. Maryna Viazovska) and building high-performance software.

I don't just study systems; I look for their underlying logic to optimize them. My recent work ranges from deploying production software that uses Max-Plus algebra to reduce event logistics complexity to , to building decentralized parametric insurance on the blockchain and coding real-time cognitive analysis AI pipelines.

With a background in local politics (former Town Councilor) and a certification in behavioral psychology (PCM), I am fascinated by the intersection of human behavior and pure logic. When I'm not writing proofs or coding, you can find me rowing or trying to teach Lean 4 to my grandmother.

Cookie Settings

We and selected partners, use cookies or similar technologies as specified in the cookie policy and privacy policy.

You can consent to the use of such technologies by closing this notice.

Cookie Control

Customise your preferences for any tracking technology

The following allows you to customize your consent preferences for any tracking technology used to help us achieve the features and activities described below. To learn more about how these trackers help us and how they work, refer to the cookie policy. You may review and change your preferences at any time.

Cookie policy Privacy policy
Always active, cannot be turned off
More information

These trackers are used for activities that are strictly necessary to operate or deliver the service you requested from us and, therefore, do not require you to consent.

More information

These trackers help us to deliver personalized marketing content and to operate, serve and track ads.

More information

These trackers help us to deliver personalized marketing content to you based on your behaviour and to operate, serve and track social advertising.

More information

These trackers help us to measure traffic and analyze your behaviour with the goal of improving our service.

More information

These trackers help us to provide a personalized user experience by improving the quality of your preference management options, and by enabling the interaction with external networks and platforms.