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 — cjohnson19 - Overview
@cjohnson19 cjohnson19 Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
@cjohnson19
cjohnson19
Follow
View cjohnson19's full-sized avatar

Chase Johnson cjohnson19

Follow
University of Minnesota Student Computer Science
9 followers · 8 following
  • Minneapolis, MN
  • chasej.dev

Sponsoring

@fuma-nama

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Public SponsorAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Public SponsorAchievement: Quickdraw
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring

Pinned Loading

  1. adelfa-prover/adelfa adelfa-prover/adelfa Public

    An interactive proof assistant for reasoning about specifications written in the Edinburgh Logical Framework

    OCaml 5

  2. adelfa-prover/adelfa-docs adelfa-prover/adelfa-docs Public

    Documentation for the Adelfa proof assistant

    MDX

  3. pl-conf pl-conf Public

    TypeScript 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.