Paul Lezeau's repositories
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Language:Lean000
tropicalnn
Repository with code for computing the linear regions of tropical rational functions
Language:Jupyter Notebook000
olympiad_formalization
Lean mathematical components library
Apache-2.0000
LeanSchlessinger
Formalizing Schlessinger's criterion in Lean
Apache-2.0000
Language:Python000
-nofakes-project
This is the official repository for the #nofakes project organised by the University of Warwick AI society
Language:Jupyter NotebookApache-2.0000
dedekind-kummer-theorem
This repository will eventually contain the code I wrote when formalising the Dedekind-Kummer Theorem
000
adversarial_example_gen
A short beginner level tutorial on the generation adversarial examples to fool a neural network.
Language:Jupyter Notebook000