pitmonticone
Informal Mathematics @UniTrento || Formal Mathematics at Harmonic || Formalising in @LeanProver || Developing in @JuliaLang and @Python.
University of TrentoTrento, Italy
Pinned Repositories
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
MultilayerGraphs.jl
A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
mathlib4
The math library of Lean 4
leanblueprint
plasTeX plugin to build formalization blueprints.
EnergySystemModelling
Resources for the Energy System Modelling course by Tom Brown at Karlsruhe Institute of Technology (2020).
LeanProject
Template for blueprint-driven formalization projects in Lean.
pitmonticone
Profile repository of Pietro Monticone.
PlantDiseaseClassification
Dataset Analysis & CNN Models Optimization for Plant Disease Classification.
equational_theories
A project to map out the relations between different equational theories of Magmas.
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
pitmonticone's Repositories
pitmonticone/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
pitmonticone/NNG4
Natural Number Game
pitmonticone/NonlinearDynamicsComplexSystemsCourse
Material for a full course on applied nonlinear dynamics, nonlinear timeseries analysis, and complex systems, in Julia
pitmonticone/waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
pitmonticone/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
pitmonticone/blog
Source for the community blog
pitmonticone/cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
pitmonticone/categorical-systems-theory
pitmonticone/CompAssistedMath2024
GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
pitmonticone/cornell-cs5785-2023-applied-ml
Lecture materials for Cornell CS5785 Applied Machine Learning (Fall 2023)
pitmonticone/DynamicalSystemsBook
pitmonticone/evm-from-scratch-book
pitmonticone/formal-2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
pitmonticone/gaagc24.github.io
Website for Group Actions: algebraic, geometric and combinatorial aspects
pitmonticone/gemma
Open weights LLM from Google DeepMind.
pitmonticone/hamiltonian-mechanics
pitmonticone/intro_dgm
"Deep Generative Modeling": Introductory Examples
pitmonticone/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
pitmonticone/lectures
pitmonticone/MA4N1_2023
MA4N1 Theorem Proving with Lean
pitmonticone/PairPlots.jl
Beautiful and flexible vizualizations of high dimensional data
pitmonticone/penzai
A JAX research toolkit for building, editing, and visualizing neural networks.
pitmonticone/PerennialProblemsOfLifeWithABrain
pitmonticone/ProofNet-lean4
ProofNet dataset ported into Lean 4
pitmonticone/proofs-and-programs-2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
pitmonticone/sTeX
A semantic Extension of TeX/LaTeX
pitmonticone/STG4
Set Theory Game
pitmonticone/SydneyUniversityMathematicsNotes
Contains lecture notes for several Sydney University advanced mathematics courses. Contributions welcomed!
pitmonticone/turinglang.github.io
The home for all Turing website & documentation resources.
pitmonticone/uvadlc_notebooks
Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2021/Spring 2022