Elliott Macneil's repositories
mediocre
A mediOCRe attempt at getting a machine to recognise my handwriting.
000
StudentShapers-RShiny
Repository for my rshiny apps for the 2019 Imperial Student Shapers Project
Language:R000
sf-lean
Software Foundations using the Lean Theorem Prover
Language:Lean000
xena
Lean Library currently studying for a degree at Imperial College
Language:Lean000