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 — Release POPL 2024 version · logsem/gitrees

POPL 2024 version

Latest
Latest
@co-dan co-dan released this 14 Nov 12:39
· 203 commits to main since this release
popl24
25a2d60

Version of the formalization corresponding to the POPL 24 submission

Assets 2
Loading

Uh oh!

There was an error while loading. Please reload this page.
All reactions
You are visitor 01402520 — 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.