Skip to content

pitmonticone/pitmonticone

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

Gmail Twitter GitHub Goodreads YouTube Mastodon Mastodon

GitHub Metrics

Past Selected Projects

Data Mining & Machine Learning

Time Series Analysis

Applied Graph Theory / Network Science

Current Selected Projects

Number Theory

  • FLT3: Formalising Fermat's Last Theorem for Exponent 3 in the Lean proof assistant.
  • PFR: Formalising the Polynomial Freiman Ruzsa conjecture and related results in the Lean proof assistant.

Harmonic Analysis

  • Carleson: Formalising a generalised Carleson's Theorem in the Lean proof assistant.

Talks

2023

WAW 2023 Talk

JuliaCon 2023 Talk