No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
m1f_sols
.gitattributes
LICENSE
README.md
alternative_logic.lean
calculus.lean
hilbertian_theorems.lean
logic_theorems.lean
num_theo_theorems.lean

README.md

lean

Stuff I've written in Lean. m1f_sols contains my Lean solutions to the "Foundations of Analysis" course I'm reading at Imperial College London.