DawidLipin

Pinned Repositories

Project_Tate_Thesis
Language:Lean51
-Formalising-Analysis-in-Lean-Compactness-and-Dimensionality
This repository contain all of the Lean code used to prove statements in the "Formalising Analysis in Lean: Compactness and Dimensionality" paper.
Language:Lean00
COMP6248-Differentiable-Programming-and-Deep-Learning
Language:Jupyter Notebook00
Rubiks-Cube-RL
Language:Python00

DawidLipin's Repositories

DawidLipin/Project_Tate_Thesis
Language:Lean51
DawidLipin/-Formalising-Analysis-in-Lean-Compactness-and-Dimensionality
This repository contain all of the Lean code used to prove statements in the "Formalising Analysis in Lean: Compactness and Dimensionality" paper.
Language:Lean
DawidLipin/COMP6248-Differentiable-Programming-and-Deep-Learning
Language:Jupyter Notebook
DawidLipin/Rubiks-Cube-RL
Language:Python