Pietro Monticone's repositories
pitmonticone
Profile repository of Pietro Monticone.
waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Bayesian-Julia
Bayesian Statistics using Julia and Turing
Bayesian-Statistics
This repository holds slides and code for a full Bayesian statistics graduate course.
blog
Source for the community blog
BonnAnalysis
Repository hosting code and blueprint for the collaborative formalisation seminar in Analysis at the University of Bonn.
cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
carleson
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
checkdecls
Tiny Lean library to check existence of declarations
CompAssistedMath2024
GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
cookbook
A collection of guides and examples for the Gemini API.
cornell-cs5785-2023-applied-ml
Lecture materials for Cornell CS5785 Applied Machine Learning (Fall 2023)
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
formal-2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
gaagc24.github.io
Website for Group Actions: algebraic, geometric and combinatorial aspects
intro_dgm
"Deep Generative Modeling": Introductory Examples
leanblueprint
plasTeX plugin to build formalization blueprints.
LeanCopilot
Native Neural Network Inference in Lean
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
MA4N1_2023
MA4N1 Theorem Proving with Lean
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
PairPlots.jl
Beautiful and flexible vizualizations of high dimensional data
penzai
A JAX research toolkit for building, editing, and visualizing neural networks.
PNT
blueprint for prime number theorem and more
ProofNet-lean4
ProofNet dataset ported into Lean 4
snn-sound-localization
Training spiking neural networks for sound localization
SydneyUniversityMathematicsNotes
Contains lecture notes for several Sydney University advanced mathematics courses. Contributions welcomed!