ImperialCollegeLondon/xena-UROP-2018
A place to put our 2018 Xena project UROP thoughts and programs.
LeanApache-2.0
Issues
- 0
dots and boxes
#18 opened - 1
Tarski (i.e. Euclid ;-) )
#17 opened - 2
Pi!
#10 opened - 1
Installing Lean on Ubuntu.
#9 opened - 1
Graphs
#8 opened - 0
Manifolds
#7 opened - 3
Elementary Number Theory
#6 opened - 1
Real analysis
#5 opened - 1
Complex analysis
#4 opened - 3
Finite-dimensional vector spaces
#3 opened - 2
Metric and topological spaces
#2 opened - 2
Group theory
#1 opened