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
  • aartifact
  • 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 — Usability in Formal Verification and Aartifact

Popular repositories Loading

  1. aartifact-verifier aartifact-verifier Public

    Lightweight formal verification system developed to support research on usability of automated proof verification tools.

    Haskell 4

  2. aartifact aartifact Public

    Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.

    Python 1

  3. random-exercise-generator random-exercise-generator Public

    Random exercise generator for a course on modular arithmetic.

    PHP

  4. aartifact-light aartifact-light Public

    Lightweight web-based formal verification tool.

    JavaScript

  5. aartifact.github.io aartifact.github.io Public

    Webpage describing the various projects undertaken as part of this effort.

    HTML

Repositories

Loading
Type
Language
Sort
Showing 5 of 5 repositories
  • aartifact.github.io Public

    Webpage describing the various projects undertaken as part of this effort.

    Uh oh!

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

     aartifact/aartifact.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Aug 5, 2020
  • aartifact Public

    Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.

    Uh oh!

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

     aartifact/aartifact's past year of commit activity
    Python 1 0 0 0 Updated Sep 16, 2017
  • aartifact-verifier Public

    Lightweight formal verification system developed to support research on usability of automated proof verification tools.

    Uh oh!

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

     aartifact/aartifact-verifier's past year of commit activity
    Haskell 4 MIT 0 0 0 Updated Sep 11, 2017
  • aartifact-light Public

    Lightweight web-based formal verification tool.

    Uh oh!

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

     aartifact/aartifact-light's past year of commit activity
    JavaScript 0 0 0 0 Updated Sep 9, 2017
  • random-exercise-generator Public

    Random exercise generator for a course on modular arithmetic.

    Uh oh!

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

     aartifact/random-exercise-generator's past year of commit activity
    PHP 0 MIT 0 0 0 Updated Sep 8, 2017

People
@lapets

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.