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
  • gapt
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — GAPT

Pinned Loading

  1. gapt gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 112 20

Repositories

Loading
Type
Language
Sort
Showing 8 of 8 repositories
  • gapt Public

    GAPT: General Architecture for Proof Theory

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/gapt's past year of commit activity
    Scala 112 GPL-3.0 20 45 0 Updated Oct 23, 2026
  • website Public

    the gapt website

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/website's past year of commit activity
    HTML 0 0 0 0 Updated Mar 19, 2026
  • archive Public

    archive of documents and data pertaining to gapt development

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/archive's past year of commit activity
    TeX 0 0 0 0 Updated Oct 17, 2025
  • SuperInd Public

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/SuperInd's past year of commit activity
    C 0 GPL-2.0 0 0 0 Updated Nov 19, 2021
  • viper-results Public

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/viper-results's past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Jun 20, 2019
  • benchmarks Public Forked from tip-org/benchmarks

    Tons of Inductive Problems: The Benchmarks

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/benchmarks's past year of commit activity
    SMT 0 BSD-3-Clause 6 0 0 Updated May 7, 2019
  • gaptic-example Public

    Template project for the gaptic tactics language.

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/gaptic-example's past year of commit activity
    Scala 1 0 0 0 Updated Nov 6, 2018
  • cutintro-results Public

    Uh oh!

    There was an error while loading. Please reload this page.

     gapt/cutintro-results's past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Sep 4, 2017

People
@gebner @DarwinsBuddy @gisellemnr @mschlaipfer @fachammer @loewenheim @shetzl @mrukhaia @frehn

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

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.