Projects

Our portfolio and projects

Dafny for Visual Studio Code

Visual Studio Code Plugin implementing Dafny Support

Code Panorama

Identifying points of interest within a code-base to review.

Lambda Calculus Calculator

A user friendly lambda calculus interpreter.

Sequent Calculus Calculator

A user friendly sequent calculus interpreter.