Pietro Monticone's repositories
pitmonticone
Profile repository of Pietro Monticone.
BonnAnalysis
Repository hosting code and blueprint for the collaborative formalisation seminar in Analysis at the University of Bonn.
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
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.
formal-2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
gaagc24.github.io
Website for Group Actions: algebraic, geometric and combinatorial aspects
leanblueprint
plasTeX plugin to build formalization blueprints.
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
MA4N1_2023
MA4N1 Theorem Proving with Lean
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
sTeX
A semantic Extension of TeX/LaTeX
SydneyUniversityMathematicsNotes
Contains lecture notes for several Sydney University advanced mathematics courses. Contributions welcomed!
uvadlc_notebooks
Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2021/Spring 2022