Skip to content
View DavidAspinall's full-sized avatar
7 followers · 2 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@ProofGeneral @detlearsom
Block or Report

Block or report DavidAspinall

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. HipCam HipCam Public

    Forked from phlegmaticprogrammer/HipCam

    Tools for recording Hiproofs in hol-light and visualising them in a web browser

    OCaml 1

  2. docker-claimform docker-claimform Public

    Dockerfile and sources for University of Edinburgh Informatics legacy expenses program "claimform"

  3. sparsebundlefs sparsebundlefs Public

    Forked from torarnv/sparsebundlefs

    FUSE filesystem for reading Mac OS sparse-bundle disk images

    C++

  4. markdown-mode markdown-mode Public

    Forked from jrblevin/markdown-mode

    Emacs Markdown Mode

    Emacs Lisp

  5. PG PG Public

    Forked from ProofGeneral/PG

    This repo is the new home of Proof General

    Emacs Lisp

  6. AutoRaise AutoRaise Public

    Forked from sbmpost/AutoRaise

    AutoRaise (and focus) a window when hovering over it with the mouse

    Objective-C++