Home Original page

lstrsrmn - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View lstrsrmn's full-sized avatar

Alistair Sirman lstrsrmn

PhD Student in Computer Science at the University of Southampton. Focusing on Formal Methods and Interactive Theorem Proving.

  • University of Southampton
  • Southampton

Organizations

@SCSRugby

Block or report lstrsrmn

Pinned Loading

  3. A program for generating punch press drawings

    C++ 1