Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Formalizing Christensen's result on small types and truncations #243

Draft
wants to merge 16 commits into
base: master
Choose a base branch
from
Draft

Formalizing Christensen's result on small types and truncations #243

wants to merge 16 commits into from

Commits on Feb 16, 2024

  1. Still in draft phase

    @IanRay11
    IanRay11 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    0bbda1f View commit details
    Browse the repository at this point in the history

  2. Fixing some text from H-levels file

    @IanRay11
    IanRay11 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    3f8b576 View commit details
    Browse the repository at this point in the history

  3. Fixing off by two errors

    @IanRay11
    IanRay11 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    131e60f View commit details
    Browse the repository at this point in the history

  4. Fixing off by two errors (correctly this time)

    @IanRay11
    IanRay11 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    8f2fd6a View commit details
    Browse the repository at this point in the history

  5. All statements stated (correcting for H-level convention)

    @IanRay11
    IanRay11 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    5710a1e View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Adding connectedness results (work in progress)

    @IanRay11
    IanRay11 committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    1b3778c View commit details
    Browse the repository at this point in the history

  2. Adding connectedness results (almost done)

    @IanRay11
    IanRay11 committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    23d1c57 View commit details
    Browse the repository at this point in the history

  3. Computation rules and equivalences

    @IanRay11
    IanRay11 committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d837599 View commit details
    Browse the repository at this point in the history

  4. Maybe more to come but tons of functionality with connectedness now

    @IanRay11
    IanRay11 committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    bf46d9f View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Enough about connectedness

    @IanRay11
    IanRay11 committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    345e61f View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. prop trunc clash

    @IanRay11
    IanRay11 committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    98f2c66 View commit details
    Browse the repository at this point in the history

  2. Saving

    @IanRay11
    IanRay11 committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    c650f6b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'martinescardo:master' into SmallTypesPaper

    @IanRay11
    IanRay11 committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    a420e51 View commit details
    Browse the repository at this point in the history

  4. Surjection from 1-con map

    @IanRay11
    IanRay11 committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    269d37d View commit details
    Browse the repository at this point in the history

  5. Saving work

    @IanRay11
    IanRay11 committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    018c2a8 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Progress so far. Adding some lemmas in new PR before resuming

    @IanRay11
    IanRay11 committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    e20e1a5 View commit details
    Browse the repository at this point in the history