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

Sergei Stepanenko Kaptch

🍄
Follow
Postdoc in the PLS group, Aarhus.
45 followers · 46 following
  • Aarhus
  • 19:07 (UTC +01:00)
  • kaptch.link
  • https://orcid.org/0000-0002-7322-5644

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@logsem
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
Kaptch/README.md

Pinned Loading

  1. logsem/fw-rec-inj logsem/fw-rec-inj Public

    Coq 2

  2. leanprover-community/iris-lean leanprover-community/iris-lean Public

    Lean 4 port of Iris, a higher-order concurrent separation logic framework

    Lean 251 74

  3. logsem/gitrees logsem/gitrees Public

    guarded interaction trees

    Rocq Prover 14 3

  4. logsem/synthetic_domains logsem/synthetic_domains Public

    Coq 2

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.