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

Current Selected Projects

Applied Graph Theory / Network Science

Number Theory

  • FLT3: Formalising Fermat's Last Theorem for Exponent 3 in Lean.

Talks

2023

WAW 2023 Talk

JuliaCon 2023 Talk