Popular repositories

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