GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — VojtechStep - Overview
@VojtechStep VojtechStep Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@VojtechStep
VojtechStep
Follow
View VojtechStep's full-sized avatar

Vojtěch Štěpančík VojtechStep

Follow
36 followers · 9 following
  • Inria
  • Nantes, France

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. agda-unimath agda-unimath Public

    Forked from UniMath/agda-unimath

    Univalent mathematics in Agda

    Agda

  2. homotopy-pushouts homotopy-pushouts Public

    My master's thesis on formalization of homotopy pushouts

    TeX 2

  3. igloo.el igloo.el Public

    My Emacs setup (literally)

    Shell 3

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.