Find file History
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.
5_minutes_on_how_cool_constructive_logic_is
5_minutes_on_type_theory
complex.lean
contrapos_final.lean
perfectoid.pdf